BEACON eSpace at Jet Propulsion Laboratory >
JPL Technical Report Server >
JPL TRS 1992+ >
Please use this identifier to cite or link to this item:
|Title: ||Model Checking Verification and Validation at JPL and the NASA Fairmont IV & V Facility|
|Authors: ||Schneider, F.|
|Issue Date: ||2-Dec-1998 |
|Citation: ||Annual Software Engineering Workshop|
Goddard, Maryland, U.S.A.
|Abstract: ||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.|
|Appears in Collections:||JPL TRS 1992+|
Items in DSpace are protected by copyright, but are furnished with U.S. government purpose use rights.