NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login

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

Back to Results
Model-checking for validation of a fault protection system
Document ID
20060039827
Acquisition Source
Jet Propulsion Laboratory
Document Type
Conference Paper
External Source(s)
hdl:2014/36808
Authors
Feather, M.
Fickas, S.
Razermera-Mamy, N.
Date Acquired
August 23, 2013
Publication Date
October 24, 2001
Distribution Limits
Public
Copyright
Other
Keywords
message bus NASA
verification validation analysis model checking fault protection state machines

Available Downloads

There are no available downloads for this record.

Related Records

There are no records associated with this record.
No Preview Available