Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formal Verification of Flight Critical Software


    Contributors:

    Conference:

    AIAA Guidance, Navigation, and Control Conference and Exhibit



    Publication date :

    2005-01-01




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English






    Integrated Formal Verification and Validation of Safety Critical Software

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



    Development and Verification of Software for Flight Safety Critical Systems

    Afzali, H. / Mattissek, A. / North Atlantic Treaty Organization; Advisory Group for Aerospace Research and Development; Guidance and Control Panel | British Library Conference Proceedings | 1991