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
Experiences Using Formal Methods for Requirements ModelingThis paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems.
Document ID
20210003844
Acquisition Source
Jet Propulsion Laboratory
Document Type
Other
External Source(s)
hdl:2014/27686
Authors
Hamilton, David
Ampo, Yoko
Kelly, John
Covington, Rick
Lutz, Robyn
Easterbrook, Steve
Date Acquired
January 1, 1996
Publication Date
January 1, 1996
Publication Information
Publisher: UNKNOWN
Distribution Limits
Public
Copyright
Other
Technical Review
Keywords
spacecraft
design
fault
protection
systems
requirements
modeling

Available Downloads

There are no available downloads for this record.

Related Records

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