Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formal verification of the Merchant Registration phase of the SET protocol


    Beteiligte:
    Ma, X. Q. (Autor:in) / Cheng, X. C. (Autor:in)


    Erscheinungsdatum :

    2005-01-01


    Format / Umfang :

    8 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch


    Klassifikation :

    DDC:    629.8



    Formal Verification of the LDACS MAKE Protocol

    Mäurer, Nils / Grundner-Culemann, Sophia | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2022

    Freier Zugriff

    Formal verification of protocol specified in LTS for railway signalling systems

    Lee, J.-H. / Hwang, J.-G. / Yoon, Y.-G. et al. | British Library Conference Proceedings | 2004




    Formal verification and legacy redesign

    Young, F.C.D. / Houston, J.A. | IEEE | 1999