NASA NTRS · 19920016829
Development and validation of techniques for improving software dependability
Abstract
A collection of document abstracts are presented on the topic of improving software dependability through NASA grant NAG-1-1123. Specific topics include: modeling of error detection; software inspection; test cases; Magnetic Stereotaxis System safety specifications and fault trees; and injection of synthetic faults into software.
Keep this discovery
Explore connections, maps & timelines
Knight, John C.. 1992-06-01. Development and validation of techniques for improving software dependability. https://ntrs.nasa.gov/citations/19920016829
Cite the original work for its findings. Save a collection to share your selection of sources.