Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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



    Conference:

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



    Publication date :

    2001-01-01


    Size :

    6 pages



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English





    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 Archive | 2003



    Formal Validation of Interlocking Under Signaling Rules

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