Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Einsatz formaler Methoden zur Erhoehung der Sicherheit eingebetteter Systeme im Kfz


    Additional title:

    Using formal methods in designing embedded systems for automotive applications.


    Contributors:
    Damm,W. (author) / Eckrich,M. (author) / Brockmeyer,U. (author) / Wittich,G. (author)

    Publication date :

    1998


    Size :

    18 pages


    Remarks:

    VDI-Ber.; 1998;Systemengineering in der Kfz-Entwicklung;VDI-Berichte;Nr.;1374


    Type of media :

    Miscellaneous


    Type of material :

    Print


    Language :

    German