Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Verification of Railway Interlocking - Compositional Approach with OCRA


    Beteiligte:

    Kongress:

    Reliability, safety, and security of railway systems: modelling, analysis, verification, and certification ; 2016 ; Paris



    Erscheinungsdatum :

    01.01.2016


    Format / Umfang :

    16 pages



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Unbekannt



    Verification of railway interlocking systems

    Busard, Simon / Cappart, Quentin / Limbrée, Christophe et al. | ArXiv | 2015

    Freier Zugriff

    Verification of railway interlocking systems

    Simon Busard / Quentin Cappart / Christophe Limbrée et al. | DOAJ | 2015

    Freier Zugriff


    An algorithmic approach to the verification of a railway interlocking table

    Hachiga, A. / Wessex Institute of Technology | British Library Conference Proceedings | 1996


    RAILWAY INTERLOCKING

    BEMMENT SAMUEL DAVID | Europäisches Patentamt | 2025

    Freier Zugriff