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 | 2017



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

    McElligott, P. / Mjeda, A. / Thiel, S. et al. | British Library Conference Proceedings | 2008