No abstract available


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Model Checking Multitask Applications for OSEK Compliant Real-Time Operating Systems


    Beteiligte:

    Kongress:

    IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2011) ; 2011 ; Pasadena, CA, United States


    Erscheinungsdatum :

    12.12.2011


    Medientyp :

    Sonstige


    Format :

    Keine Angabe


    Sprache :

    Englisch




    Integrated Tools Development Based on an OSEK/VDX Compliant Real-Time Operating System

    Forster, N. / VDI / VDE | British Library Conference Proceedings | 2000


    Embedded Real Time Operating Systems and The OSEK Standard

    Brook, D. / SAE | British Library Conference Proceedings | 2000


    Embedded Real Time Operating Systems and the OSEK Standard

    Brook, David | SAE Technical Papers | 2000


    Embedded real time operating systems and the OSEK standard

    Brook,D. / Motorola,DE | Kraftfahrwesen | 2000


    Implementing and evaluation of an OSEK/VDX-compliant configurable real-time kernel

    Chen, Tianzhou / Chen, Wei / Wang, Xiang et al. | Tema Archiv | 2005