NASA NTRS · 20060039827
Model-checking for validation of a fault protection system
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
Feather, M., Fickas, S., Razermera-Mamy, N.. 2001-10-24. Model-checking for validation of a fault protection system. https://ntrs.nasa.gov/citations/20060039827
Cite the original work for its findings. Save a collection to share your selection of sources.