NASA NTRS · 20060043632
Model checking investigations for fauIt protect ion system validation
Abstract
The source did not provide an abstract. Follow the original record for more information.
Explore related subjects
Keep this discovery
Explore connections, maps & timelines
Barltrop, Kevin J., Pingree, Paula J.. 2003-07-13. Model checking investigations for fauIt protect ion system validation. https://ntrs.nasa.gov/citations/20060043632
Cite the original work for its findings. Save a collection to share your selection of sources.