Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Validation and verification of METEOR safety software



    Conference:

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



    Publication date :

    2000-01-01


    Size :

    14 pages




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    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