Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Formal methods in automotive applications


    Additional title:

    Formale Methoden der Anwendung im Fahrzeug.



    Publication date :

    1990


    Size :

    7 pages


    Remarks:

    ISATA-Proc.;90062;1990;22nd Int.Symposium on Automotive Technol.and Automation (Florenz,1990),Proc.Volume 2


    Type of media :

    Miscellaneous


    Type of material :

    Print


    Language :

    English



    Using formal methods in designing embedded systems for automotive applications

    Damm, W. / Eckrich, M. / Brockmeyer, U. et al. | British Library Conference Proceedings | 1997


    PICASSOS — Practical Applications of Automated Formal Methods to Safety Related Automotive Systems

    Botham, John / Dhadyalla, Gunwant / Powell, Antony et al. | British Library Conference Proceedings | 2017


    PICASSOS – Practical Applications of Automated Formal Methods to Safety Related Automotive Systems

    Powell, Antony / Chakrapani Rao, Arun / Farooq, Asif et al. | SAE Technical Papers | 2017


    Can formal methods make automotive business sense? A classification of formal methods by usefulness

    McElligott,P. / Mjeda,A. / Thiel,S. et al. | Automotive engineering | 2008


    Can Formal Methods Make Automotive Business Sense? A Classification of Formal Methods by Usefulness

    Mjeda, Anila / McElligott, Pat / Thiel, Steffen | SAE Technical Papers | 2008