No abstract available
Model Checking Multitask Applications for OSEK Compliant Real-Time Operating Systems
IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2011) ; 2011 ; Pasadena, CA, United States
2011-12-12
Miscellaneous
No indication
English
Integrated Tools Development Based on an OSEK/VDX Compliant Real-Time Operating System
British Library Conference Proceedings | 2000
|Embedded Real Time Operating Systems and The OSEK Standard
British Library Conference Proceedings | 2000
|Embedded Real Time Operating Systems and the OSEK Standard
SAE Technical Papers | 2000
|Embedded real time operating systems and the OSEK standard
Automotive engineering | 2000
|Implementing and evaluation of an OSEK/VDX-compliant configurable real-time kernel
Tema Archive | 2005
|