2008-01-0119 Can Formal Methods Make Automotive Business Sense? A Classification of Formal Methods by Usefulness
SESSION, Safety-critical systems ; 2008 ; Detroit, Mich
01.01.2008
10 pages
Held during the SAE 2008 world congress
Aufsatz (Konferenz)
Englisch
© 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
|Formal methods in automotive applications
Kraftfahrwesen | 1990
|British Library Conference Proceedings | 1997
|