Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Semiformale Methoden für den automatisierten Test eingebetteter Systeme


    Contributors:

    Publication date :

    2006


    Size :

    152 S.


    Remarks:

    21 cm
    Ill., graph. Darst.


    Type of media :

    Theses


    Type of material :

    Print


    Language :

    German



    Classification :

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




    Semiformale Entwurfsmethoden bei BMW

    Eckrich, M. | Tema Archive | 1997


    Einsatz formaler Methoden zur Erhoehung der Sicherheit eingebetteter Systeme im Kfz

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


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

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


    Testmethoden fur Software eingebetteter Systeme

    British Library Online Contents | 2014