Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formal Safety Analysis in Transportation Control



    Conference:

    International workshop on software specification of safety relevant transportation control tasks ; 2002 ; Brunswick, Germany



    Publication date :

    2003-01-01


    Size :

    14 pages




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Formal safety analysis in transportation control

    Thums, A. / Schellhorn, G. | Tema Archive | 2003


    Transportation Safety Analysis

    H. C. Joksch | NTIS | 1976


    Comparison of Modelling Methodologies for the Formal Safety Assessment in Shipping Transportation

    Konstantinidou, Monica / Mennis, Evangelos / Nikitakos, Nikitas et al. | Springer Verlag | 2004



    Formal safety assessment

    British Library Online Contents | 1996