Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Specification and verification of embedded real-time systems in the automotive domain


    Weitere Titelangaben:

    Spezifikation und Verifikation von eingebetteten Echtzeitsystemen in Fahrzeugen


    Beteiligte:

    Erschienen in:

    Ausgabe :

    1. Aufl.


    Erscheinungsdatum :

    2011


    Format / Umfang :

    IX, 162 S.


    Anmerkungen:

    Ill., graph. Darst.
    Langzeitarchivierung durch Gottfried Wilhelm Leibniz Bibliothek - Niedersächsische Landesbibliothek



    Medientyp :

    Hochschulschrift


    Format :

    Print


    Sprache :

    Englisch



    Klassifikation :

    DDC:    629.20284




    Specification and verification of embedded real-time systems in the automotive domain

    Siegl, Sebastian | GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2011


    SPECIFICATION-BASED TESTING OF REAL-TIME EMBEDDED SYSTEMS

    Núñez, Manuel / Rodríguez, Ismael | Springer Verlag | 2005

    Freier Zugriff