NASA Logo

NTRS

NTRS - NASA Technical Reports Server

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

Back to Results
Using Model-Based Assurance to Strengthen Diagnostic ProceduresNo abstract available
Document ID
20150005973
Acquisition Source
Jet Propulsion Laboratory
Document Type
Presentation
External Source(s)
Authors
Lutz, Robyn
(Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States)
Johnson, Jeremy
(Stinger Ghaffarian Technologies, Inc. (SGT, Inc.) Moffett Field, CA, United States)
Patterson-Hine, Ann
(NASA Ames Research Center Moffett Field, CA, United States)
Date Acquired
April 21, 2015
Publication Date
November 9, 2011
Subject Category
Computer Programming And Software
Meeting Information
Meeting: IEEE/ACM International Conference on Automated Software Engineering
Location: Lawrence, KS
Country: United States
Start Date: November 6, 2011
End Date: November 12, 2011
Sponsors: Association for Computing Machinery, Institute of Electrical and Electronics Engineers
Distribution Limits
Public
Copyright
Other
Keywords
troubleshooting procedures
model-based assurance
diagnostic procedures

Available Downloads

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