Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Risk Assessment of Flight Critical Software



    Conference:

    NATO Advanced Study Institute, Verification and validation of complex and integrated human-machine systems ; 1992 ; Viermo; Portugal



    Publication date :

    1993-01-01


    Size :

    8 pages



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Managing Flight Software Risk

    Hihn, Jairus / Habib-Agahi, Hamid | AIAA | 2003


    Managing Flight Software Risk

    Hihn, J. / Habib-Agahi, H. / American Institute of Aeronautics and Astronautics | British Library Conference Proceedings | 2003


    Managing flight software cost risk

    Hihn, J. M. / Lum, K. / Habib-Agahi, H. et al. | NTRS | 2003


    Formal Verification of Flight Critical Software

    Miller, Steven / Anderson, Elise / Wagner, Lucas et al. | AIAA | 2005