NASA NTRS · 20060030874
Using SPIN model checking for verification of flight software
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
Gluck, P. R., Holzmann, G. J.. 2002-03-10. Using SPIN model checking for verification of flight software. https://ntrs.nasa.gov/citations/20060030874
Cite the original work for its findings. Save a collection to share your selection of sources.