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.
Model Checking Verification and Validation at JPL and the NASA Fairmont IV & V Facility
1998-12-02
Miscellaneous
No indication
English