Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

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



    Kongress:

    Colloquium, Communication networks in transportation ; 1995 ; London



    Erscheinungsdatum :

    1995-01-01


    Format / Umfang :

    5/3-5/4


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Automatic train protection system

    MIYAJI MASAYUKI / YORISHIGE TSUYOSHI / KOIKE JUN | Europäisches Patentamt | 2020

    Freier Zugriff

    AUTOMATIC TRAIN PROTECTION SYSTEM

    ITOTANI SATOSHI / RYOKI SHINICHI / KITAMURA SATORU et al. | Europäisches Patentamt | 2018

    Freier Zugriff

    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 | Europäisches Patentamt | 2016

    Freier Zugriff