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
Sonstige
Englisch
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
Kraftfahrwesen | 1990
|British Library Conference Proceedings | 1997
|