Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Automated model-based verification of mission-critical flight software


    Beteiligte:
    Pingree, P. (Autor:in)

    Kongress:

    5th Quality Mission Software Workshop


    Erscheinungsdatum :

    13.05.2003


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Keine Angabe


    Sprache :

    Englisch




    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 Archiv | 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