Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Improvement of Key Management Mechanism for RSSP-II and Its Formal Modeling and Verification


    Beteiligte:
    Lian, Huozhen (Autor:in) / Ma, Lianchuan (Autor:in) / Cao, Yuan (Autor:in)

    Kongress:

    International Conference on Electrical and Information Technologies for Rail Transportation ; 4. ; 2019 ; Tsingtau



    Erscheinungsdatum :

    2020



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch



    Karbon in Serie - Sportsitzplattform RssP von Recaro

    Sievernich,W. / Recaro Automotive Seating,Kirchheim/Teck,DE | Kraftfahrwesen | 2016


    Improvement of Key Management Mechanism for RSSP-II and Its Formal Modeling and Verification

    Lian, Huozhen / Ma, Lianchuan / Cao, Yuan | Springer Verlag | 2020


    Improvement of Key Management Mechanism for RSSP-II and Its Formal Modeling and Verification

    Lian, Huozhen / Ma, Lianchuan / Cao, Yuan | British Library Conference Proceedings | 2020


    Train-ground communication simulation method and device based on RSSP-II protocol

    GUO XIAOMING / ZHANG SHUAI / JIA XIAOZHE et al. | Europäisches Patentamt | 2020

    Freier Zugriff

    Formal Verification of a Redundancy Management Algorithm

    Draper, J. / North Atlantic Treaty Organization; Advisory Group for Aerospace Research and Development; Guidance and Control Panel | British Library Conference Proceedings | 1991