Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Semiformale Methoden für den automatisierten Test eingebetteter Systeme


    Beteiligte:

    Erscheinungsdatum :

    2006


    Format / Umfang :

    152 S.


    Anmerkungen:

    21 cm
    Ill., graph. Darst.


    Medientyp :

    Hochschulschrift


    Format :

    Print


    Sprache :

    Deutsch



    Klassifikation :

    DDC:    629.20284
    BKL:    50.23 Regelungstechnik, Steuerungstechnik / 55.20 Straßenfahrzeugtechnik
    RVK:    ST 153




    Einsatz formaler Methoden zur Erhoehung der Sicherheit eingebetteter Systeme im Kfz

    Damm,W. / Eckrich,M. / Brockmeyer,U. et al. | Kraftfahrwesen | 1998


    Einsatz formaler Methoden zur Erhöhung der Sicherheit eingebetteter Systeme im Kfz

    Damm, W. / Eckrich, M. / Brockmaeyer, U. et al. | Tema Archiv | 1997


    Testmethoden fur Software eingebetteter Systeme

    British Library Online Contents | 2014