Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Compositional Verification of Railway Interlockings: Comparison of Two Methods


    Beteiligte:

    Kongress:

    Reliability, safety, and security of railway systems (4th international conference)



    Erscheinungsdatum :

    2022-01-01


    Format / Umfang :

    17 pages



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Unbekannt



    Simulating and analyzing railway interlockings in ExSpect

    Basten, Twan / Bol, Roland / Voorhoeve, Marc | TIBKAT | 1994



    Four interlockings combined

    Engineering Index Backfile | 1938


    Interlockings installed at two crossings

    Engineering Index Backfile | 1940


    Verification and validation of interlockings in the Netherland

    Muster, Peter / de Ven, Theo van | IuD Bahn | 2002