Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Safety Analysis of a Radio-Based Crossing Control System Using Formal Methods



    Kongress:

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



    Erscheinungsdatum :

    01.01.2001


    Format / Umfang :

    6 pages



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Formal methods and temporal safety requirements: A level crossing application

    Defossez, F. / Bon, P. / Collart Dutilleul, S. | Tema Archiv | 2007


    Railway crossing safety control system

    ZHANG QING / ZHANG MINRUN | Europäisches Patentamt | 2021

    Freier Zugriff

    SAFETY CROSSING CONTROL METHOD AND SYSTEM

    NIE ZHIGUO / LIU PEI / LIN QIANG et al. | Europäisches Patentamt | 2025

    Freier Zugriff

    SAFETY CROSSING CONTROL METHOD AND SYSTEM

    NIE ZHIGUO / LIU PEI / LIN QIANG et al. | Europäisches Patentamt | 2024

    Freier Zugriff

    PREDICTIVE RAILROAD CROSSING SAFETY NOTIFICATION AND TRAFFIC CONTROL SYSTEM AND METHODS

    HILLEARY THOMAS N | Europäisches Patentamt | 2024

    Freier Zugriff