We show how a technology transfer effort was carried out. The successful use of model checking on a pilot JPL flight project demonstrates the usefulness and the efficacy of the approach.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Model Checking Verification and Validation at JPL and the NASA Fairmont IV & V Facility


    Beteiligte:
    Montgomery, T. (Autor:in) / Callahan, J. (Autor:in) / Easterbrook, S. (Autor:in) / Schneider, F. (Autor:in)

    Erscheinungsdatum :

    1998-12-02


    Medientyp :

    Sonstige


    Format :

    Keine Angabe


    Sprache :

    Englisch