NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Press Enter or click the Search button to begin your search.

Back to Results
Model checking investigations for fauIt protect ion system validation
Document ID
20060043632
Acquisition Source
Jet Propulsion Laboratory
Document Type
Conference Paper
External Source(s)
Authors
Barltrop, Kevin J.
Pingree, Paula J.
Date Acquired
August 23, 2013
Publication Date
July 13, 2003
Meeting Information
Meeting: JPL CSMISS, SMC-IT 2003
Location: Pasadena, CA
Country: United States
Start Date: July 13, 2003
End Date: July 17, 2003
Distribution Limits
Public
Copyright
Other
Keywords
validation
model checking
verification

Available Downloads

There are no available downloads for this record.
No Preview Available