NASA NTRS · 20150005887
Model Checking Multitask Applications for OSEK Compliant Real-Time Operating Systems
Abstract
No abstract available
Explore related subjects
Keep this discovery
Explore connections, maps & timelines
McKelvin, Mark L., Jr., Gamble, Edward, Holzmann, Gerard. 2011-12-12. Model Checking Multitask Applications for OSEK Compliant Real-Time Operating Systems. https://ntrs.nasa.gov/citations/20150005887
Cite the original work for its findings. Save a collection to share your selection of sources.