Can formal methods make automotive business sense? A classification of formal methods by usefulness
Machen formale Methoden im Automotive Business Sinn? Eine Klassifizierung von formalen Methoden nach ihrer Nuetzlichkeit.
2008
10 pages
SAE-Paper;2008-01-0119;2008;Safety-Critical Systems;SAE Spec.Publ.; SP-2173
Miscellaneous
English
Can Formal Methods Make Automotive Business Sense? A Classification of Formal Methods by Usefulness
SAE Technical Papers | 2008
|Can Formal Methods Make Automotive Business Sense? A Classification of Formal Methods by Usefulness
British Library Conference Proceedings | 2008
|British Library Conference Proceedings | 2008
|Formal methods in automotive applications
Automotive engineering | 1990
|Using formal methods in designing embedded systems for automotive applications
British Library Conference Proceedings | 1997
|