We have introduced and used significant automation during the verification and validation (V&V) of a spacecraft's autonomous planner. This paper describes the problem we faced, the solution we employed, and the applicability of our approach in a general V&V setting.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    V and V of a Spacecraft's Autonomous Planner through Extended Automation


    Beteiligte:
    Feather, Martin S. (Autor:in) / Smith, Ben (Autor:in)


    Erscheinungsdatum :

    1999-06-01


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Keine Angabe


    Sprache :

    Englisch