2008-01-0119 Can Formal Methods Make Automotive Business Sense? A Classification of Formal Methods by Usefulness
SESSION, Safety-critical systems ; 2008 ; Detroit, Mich
2008-01-01
10 pages
Held during the SAE 2008 world congress
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
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
|Can formal methods make automotive business sense? A classification of formal methods by usefulness
Automotive engineering | 2008
|Formal methods in automotive applications
Automotive engineering | 1990
|British Library Conference Proceedings | 1997
|