Improvement of Key Management Mechanism for RSSP-II and Its Formal Modeling and Verification
International Conference on Electrical and Information Technologies for Rail Transportation ; 4. ; 2019 ; Tsingtau
2020
Aufsatz (Konferenz)
Englisch
Karbon in Serie - Sportsitzplattform RssP von Recaro
Kraftfahrwesen | 2016
|Improvement of Key Management Mechanism for RSSP-II and Its Formal Modeling and Verification
Springer Verlag | 2020
|Improvement of Key Management Mechanism for RSSP-II and Its Formal Modeling and Verification
British Library Conference Proceedings | 2020
|Train-ground communication simulation method and device based on RSSP-II protocol
Europäisches Patentamt | 2020
|Formal Verification of a Redundancy Management Algorithm
British Library Conference Proceedings | 1991
|