Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    An algorithmic approach to the verification of a railway interlocking table



    Kongress:

    International conference; 5th, Vol 1; Railway systems and management ; 1996 ; Berlin



    Erscheinungsdatum :

    01.01.1996


    Format / Umfang :

    10 pages


    Anmerkungen:

    Also known as COMPRAIL 96



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    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

    Verification of Railway Interlocking - Compositional Approach with OCRA

    Limbrée, Christophe / Cappart, Quentin / Pecheur, Charles et al. | British Library Conference Proceedings | 2016


    RAILWAY INTERLOCKING

    BEMMENT SAMUEL DAVID | Europäisches Patentamt | 2025

    Freier Zugriff

    Railway interlocking

    SAMUEL DAVID BEMMENT | Europäisches Patentamt | 2025

    Freier Zugriff