Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Formal methods in automotive applications


    Weitere Titelangaben:

    Formale Methoden der Anwendung im Fahrzeug.



    Erscheinungsdatum :

    1990


    Format / Umfang :

    7 pages


    Anmerkungen:

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


    Medientyp :

    Sonstige


    Format :

    Print


    Sprache :

    Englisch



    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

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