NASA NTRS · 20060030534
Model checking investigations for fault protection 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
Pingree, P., Barltrop, K.. 2003-07-13. Model checking investigations for fault protection system validation. https://ntrs.nasa.gov/citations/20060030534
Cite the original work for its findings. Save a collection to share your selection of sources.