Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    VDM Specification of an Interlocking System and a Simulator for Its Validation



    Kongress:

    IFAC symposium; 9th, Control in transportation systems ; 2000 ; Braunschweig, Germany



    Erscheinungsdatum :

    2001-01-01


    Format / Umfang :

    6 pages



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch





    UML-based Specification of a Railway Interlocking and Signalling System

    Janota, A. / Rastocny, K. / Zahradnik, J. et al. | British Library Conference Proceedings | 2003


    UML-based specification of a railway interlocking and signalling system

    Zahradnik, J. / Rastocny, K. / Janota, A. | Tema Archiv | 2003



    Formal Validation of Interlocking Under Signaling Rules

    Sun, Pengfei / Collart-Dutilleul, Simon / Bon, Philippe | Springer Verlag | 2021