NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
A bibliography on formal methods for system specification, design and validationLiterature on the specification, design, verification, testing, and evaluation of avionics systems was surveyed, providing 655 citations. Journal papers, conference papers, and technical reports are included. Manual and computer-based methods were employed. Keywords used in the online search are listed.
Document ID
19820016114
Acquisition Source
Legacy CDMS
Document Type
Other - Other
Authors
Meyer, J. F. (Michigan Univ. Ann Arbor, MI, United States)
Furchtgott, D. G. (Michigan Univ. Ann Arbor, MI, United States)
Movaghar, A. (Michigan Univ. Ann Arbor, MI, United States)
Date Acquired
September 4, 2013
Publication Date
January 1, 1982
Subject Category
Computer Operations And Hardware
Report/Patent Number
REPT-014524-19-T
UMICH-SEL-163
NASA-CR-168849
NAS 1.26:168849
Report Number: REPT-014524-19-T
Report Number: UMICH-SEL-163
Report Number: NASA-CR-168849
Report Number: NAS 1.26:168849
Accession Number
82N23990
Funding Number(s)
CONTRACT_GRANT: NSG-1306
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.

Related Records

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