Can Formal Methods Make Automotive Business Sense? A Classification of Formal Methods by Usefulness
WORLD CONGRESS, Society of Automotive Engineers ; 2008 ; Detroit, MI
2008-01-01
2008-01-0119-2008-01-0121
SAE 2008-01-0001 - 2008-01-0146 held with gaps
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
Automotive engineering | 2008
|British Library Conference Proceedings | 2008
|Formal methods in automotive applications
Automotive engineering | 1990
|British Library Conference Proceedings | 1997
|