NASA NTRS · 19820016114
A bibliography on formal methods for system specification, design and validation
Abstract
Literature 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.
Keep this discovery
Explore connections, maps & timelines
Meyer, J. F., Furchtgott, D. G., Movaghar, A.. 1982-01-01. A bibliography on formal methods for system specification, design and validation. https://ntrs.nasa.gov/citations/19820016114
Cite the original work for its findings. Save a collection to share your selection of sources.