Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Automated model-based verification of mission-critical flight software


    Contributors:
    Pingree, P. (author)

    Conference:

    5th Quality Mission Software Workshop


    Publication date :

    2003-05-13


    Type of media :

    Conference paper


    Type of material :

    No indication


    Language :

    English




    Formal Verification of Flight Critical Software

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



    V&V of flight and mission-critical software

    Duke, E.L. | Tema Archive | 1989


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

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


    Flight software verification methods in Frontier Radio for solar probe plus mission

    Kufahl, Katelyn / Wortman, Kristin / Burke, Linda et al. | IEEE | 2017