Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Stochastic Validation and Verification of Railroad Safety-Critical Software



    Conference:

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



    Publication date :

    2003-01-01


    Size :

    12 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


    Validation and verification of METEOR safety software

    Boulanger, J. L. / Gallardo, M. / Wessex Institute of Technology | British Library Conference Proceedings | 2000



    Model-based Approach to Validation and Verification of Flight Critical Software

    Jaw, Link C. / Van, H. T. / Homan, David et al. | IEEE | 2008


    Run-Time Verification and Validation for Safety-Critical Flight Control Systems

    Schierman, John / Ward, David / Dutoi, Brian et al. | AIAA | 2008