[IEEE 2011 IEEE 17th Pacific Rim International Symposium on Dependable Computing (PRDC) - Pasadena, CA, USA (2011.12.12-2011.12.14)] 2011 IEEE 17th Pacific Rim International Symposium on Dependable Computing - Model Checking Multitask Applications for OSEK Compliant Real-Time Operating Systems
McKelvin Jr., Mark L., Gamble Jr., Edward B., Holzmann, Gerard J.Year:
2011
Language:
english
DOI:
10.1109/PRDC.2011.49
File:
PDF, 132 KB
english, 2011