Formal methods in automotive applications
Formale Methoden der Anwendung im Fahrzeug.
1990
7 pages
ISATA-Proc.;90062;1990;22nd Int.Symposium on Automotive Technol.and Automation (Florenz,1990),Proc.Volume 2
Miscellaneous
English
Using formal methods in designing embedded systems for automotive applications
British Library Conference Proceedings | 1997
|PICASSOS — Practical Applications of Automated Formal Methods to Safety Related Automotive Systems
British Library Conference Proceedings | 2017
|PICASSOS – Practical Applications of Automated Formal Methods to Safety Related Automotive Systems
SAE Technical Papers | 2017
|Can formal methods make automotive business sense? A classification of formal methods by usefulness
Automotive engineering | 2008
|Can Formal Methods Make Automotive Business Sense? A Classification of Formal Methods by Usefulness
SAE Technical Papers | 2008
|