Back to Results
First PageMeta Content



Model Checking Multitask Applications for OSEK Compliant Real Time Operating Systems Mark L. McKelvin, Jr. and Gerard Holzmann Jet Propulsion Laboratory, Laboratory for Reliable Software California Institute of Technolog
Add to Reading List

Document Date: 2013-08-11 14:51:27


Open Document

File Size: 31,13 KB

Share Result on Facebook
UPDATE