Improvement of Key Management Mechanism for RSSP-II and Its Formal Modeling and Verification
4th International Conference Electrical and Information for Rail Transportation (EITRT) ; 2019 ; Qingdao, China
2020-01-01
10 pages
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Improvement of Key Management Mechanism for RSSP-II and Its Formal Modeling and Verification
Springer Verlag | 2020
|Karbon in Serie - Sportsitzplattform RssP von Recaro
Automotive engineering | 2016
|Train-ground communication simulation method and device based on RSSP-II protocol
European Patent Office | 2020
|Formal Verification of a Redundancy Management Algorithm
British Library Conference Proceedings | 1991
|