Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formal Safety Analysis in Transportation Control



    Kongress:

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



    Erscheinungsdatum :

    01.01.2003


    Format / Umfang :

    14 pages




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Formal safety analysis in transportation control

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


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

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


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

    Konstantinidou, M. / Mennis, E. / Nikitakos, N. et al. | British Library Conference Proceedings | 2004


    Transportation Safety Analysis

    H. C. Joksch | NTIS | 1976


    Tutorial on Formal Safety Analysis

    Ladkin, P. / System Safety Society (U.S.) | British Library Conference Proceedings | 2006