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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

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


    Contributors:

    Publication date :

    1998-12-02


    Type of media :

    Miscellaneous


    Type of material :

    No indication


    Language :

    English