Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formal Specifications of the European Train Control System



    Kongress:

    Symposium; 8th, Transportation systems ; 1997 ; Chania; Greece



    Erscheinungsdatum :

    1997-01-01


    Format / Umfang :

    6 pages


    Anmerkungen:

    Also known as TS'97



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Test case generation from formal specifications on the example of train control systems

    zu Horste, M. M. / Schnieder, E. / Schulz, H.-M. et al. | British Library Conference Proceedings | 2000


    European Train Control System

    Königin-Luise-Str. 5, D-14195 Berlin | IuD Bahn | 1994


    Power-train system design: functional architectural specifications

    Bombarda,G. / Gaviani,G. / Marceca,P. et al. | Kraftfahrwesen | 2000


    European Train Control System (ETCS)

    Kollmannsberger, F. / Verein Deutscher Ingenieure; Gesellschaft Fahrzeug- und Verkehrstechnik | British Library Conference Proceedings | 1994


    ETCS - European Train Control System

    Kollmannsberger, F. | Tema Archiv | 1992