NASA NTRS · 20060030908
Validation of mission critical software design and implementation using model checking
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. J., Mikk, E., Holzmann, G.. 2002-10-27. Validation of mission critical software design and implementation using model checking. https://ntrs.nasa.gov/citations/20060030908
Cite the original work for its findings. Save a collection to share your selection of sources.