Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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



    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




    Formal methods and temporal safety requirements: A level crossing application

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


    Railway crossing safety control system

    ZHANG QING / ZHANG MINRUN | European Patent Office | 2021

    Free access

    SAFETY CROSSING CONTROL METHOD AND SYSTEM

    NIE ZHIGUO / LIU PEI / LIN QIANG et al. | European Patent Office | 2024

    Free access

    SAFETY CROSSING CONTROL METHOD AND SYSTEM

    NIE ZHIGUO / LIU PEI / LIN QIANG et al. | European Patent Office | 2025

    Free access

    PREDICTIVE RAILROAD CROSSING SAFETY NOTIFICATION AND TRAFFIC CONTROL SYSTEM AND METHODS

    HILLEARY THOMAS N | European Patent Office | 2024

    Free access