Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Validation and verification of METEOR safety software



    Kongress:

    International conference; 7th, Computers in railways ; 2000 ; Bologna, Italy



    Erscheinungsdatum :

    01.01.2000


    Format / Umfang :

    14 pages




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Integrated Formal Verification and Validation of Safety Critical Software

    Ward, N. J. / North Atlantic Treaty Organization | British Library Conference Proceedings | 1993


    Stochastic Validation and Verification of Railroad Safety-Critical Software

    Giras, T. C. / Zentrum fur Verkehr der Technischen Universitat Braunschweig / Verein Deutscher Ingenieure | British Library Conference Proceedings | 2003



    Verification and Validation of Safety Software for Automated Guideway Transit Systems

    Bied-Charreton, D. / Chopard-Guillaumot, G. / Araman, M. et al. | British Library Conference Proceedings | 1996


    Verification and Validation of Safety Software for Automated Guideway Transit Systems

    Bied-Charreton, D. / Chopard-Guillaumot, G. / Araman, M. et al. | British Library Conference Proceedings | 1996