Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    The application of formal methods to the development of an ATP (automatic train protection) system



    Conference:

    Colloquium, Communication networks in transportation ; 1995 ; London



    Publication date :

    1995-01-01


    Size :

    5/3-5/4


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Automatic train protection system

    MIYAJI MASAYUKI / YORISHIGE TSUYOSHI / KOIKE JUN | European Patent Office | 2020

    Free access

    AUTOMATIC TRAIN PROTECTION SYSTEM

    ITOTANI SATOSHI / RYOKI SHINICHI / KITAMURA SATORU et al. | European Patent Office | 2018

    Free access

    Automatic train protection

    Russell, Eric | IuD Bahn | 1998


    Advanced automatic train protection system

    Sato, Y. / Takashige, T. / Watanabe, I. et al. | British Library Conference Proceedings | 1996


    AUTOMATIC WIRELESS TRAIN PROTECTION

    KWAK SANG LOG | European Patent Office | 2016

    Free access