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
12.12.2011
Sonstige
Keine Angabe
Englisch
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
Kraftfahrwesen | 2000
|Implementing and evaluation of an OSEK/VDX-compliant configurable real-time kernel
Tema Archiv | 2005
|