Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formalizing a subset of ERTMS/ETCS specifications for verification purposes


    Beteiligte:

    Erschienen in:

    Erscheinungsdatum :

    2014



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch



    Klassifikation :

    BKL:    55.84 Straßenverkehr




    Customising ERTMS/ETCS

    Wernicke, M. | Tema Archiv | 2007


    ERTMS/ETCS Consolidation Strategy

    Dijkman, Robert | IuD Bahn | 2002


    ERTMS/ETCS consolidation strategy

    Dijkman, R. | Tema Archiv | 2002


    ERTMS/ETCS - Erfahrungen und Ausblicke

    Poré, Jacque | IuD Bahn | 2007