Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Logic Verification of Collision Avoidance System in Train Control Systems


    Contributors:
    Xu, T. (author) / Tang, T. (author) / Gao, C. (author) / Cai, B. (author)

    Conference:

    4th, IEEE intelligent vehicles symposium ; 2009 ; Xi'an, China



    Publication date :

    2009-01-01


    Size :

    6 pages



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Logic verification of Collision Avoidance System in train control systems

    Xu, Tianhua / Tang, Tao / Gao, Chunhai et al. | IEEE | 2009


    SYSTEM FOR TRAIN TRAFFIC COLLISION AVOIDANCE

    DUBCHAK IRINA ALEKSANDROVNA / KUZMIN ANDREI IGOREVICH / PANFEROV IGOR ALEKSANDROVICH et al. | European Patent Office | 2022

    Free access

    Train collision avoidance and alert

    BAR-TAL MORDEHAI / NANIKASHVILI REUVEN | European Patent Office | 2020

    Free access

    TRAIN COLLISION AVOIDANCE AND ALERT

    BAR-TAL MORDEHAI / NANIKASHVILI REUVEN | European Patent Office | 2019

    Free access

    Train collision avoidance system by using RFID

    Bhavsar, Smita S. / Kulkarni, A.N. | IEEE | 2016