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