Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formal Methods and their Applications to Safety-Critical Systems of Railways


    Beteiligte:

    Erschienen in:

    Quarterly report of RTRI ; 36 , 4 ; 198-203


    Erscheinungsdatum :

    1995



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch



    Klassifikation :

    BKL:    55.85 Schienenverkehr



    Formal Methods and their Applications to Safety-Critical Systems of Railways

    Ogino, T. / Hirao, Y. | British Library Online Contents | 1995


    Formal development of software in railways safety critical systems

    Dehbonei, B. / Mejia, F. / Wessex Institute of Technology | British Library Conference Proceedings | 1994



    Formal Verification of Safety-Critical Aerospace Systems

    Paul, Saswata / Cruz, Elkin / Dutta, Airin et al. | IEEE | 2023


    Twenty-Five Years of Formal Methods and Railways: What Next?

    Fantechi, A. | British Library Conference Proceedings | 2014