No abstract available


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

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


    Contributors:

    Conference:

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


    Publication date :

    2011-12-12


    Type of media :

    Miscellaneous


    Type of material :

    No indication


    Language :

    English




    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 | Automotive engineering | 2000


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

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