Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formal Specifications of the European Train Control System



    Conference:

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



    Publication date :

    1997-01-01


    Size :

    6 pages


    Remarks:

    Also known as TS'97



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    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. | Automotive engineering | 2000


    ETCS - European Train Control System

    Kollmannsberger, F. | Tema Archive | 1992