Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Verification, Validation and Licensing of Safety Critical Systems


    Contributors:

    Conference:

    16th, International system safety conference ; 1998 ; Seattle, WA



    Publication date :

    2006-01-01


    Size :

    10 pages


    Remarks:

    Held on System Safety Society Archive DVD, ISSC Proceedings 1973-2006 with Hazard Prevention JSS 1964-2006; Also held on CD-ROM as International system safety conference 16th in Conference Records; HELD ON CD-ROM


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English


    Keywords :


    Verification, Validation and Licensing of Safety Critical Systems

    Rabe, G. / Krage, G. | British Library Conference Proceedings | 1998


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

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


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

    Schierman, J. / Ward, D. / Aiello, A. et al. | British Library Conference Proceedings | 2008


    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


    Integrated Formal Verification and Validation of Safety Critical Software

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