Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Using formal methods for quality assurance of interlocking systems



    Kongress:

    International conference; 6th, Computer aided design, manufacture and operation in the railway and other advanced mass transit systems: Computers in railways VI ; 1998 ; Lisbon



    Erscheinungsdatum :

    01.01.1998


    Format / Umfang :

    10 pages




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Using formal methods for quality assurance of interlocking systems

    Eriksson, L.H. / Johansson, K. | Tema Archiv | 1998


    Formal Methods for Industrial Interlocking Verification

    Chadwick, Simon / James, Phillip / Roggenbach, Markus et al. | IEEE | 2018


    Comparing Formal Verification Approaches of Interlocking Systems

    Haxthausen, Anne Elisabeth / Nguyen, Hoang Nga / Roggenbach, Markus | British Library Conference Proceedings | 2016


    Interlocking Formal Verification at Alstom Signalling

    Parillaud, Camille / Fonteneau, Yoann / Belmonte, Fabien | British Library Conference Proceedings | 2019