2008-01-0220 A Critical Analysis of Model-Based Formal Verification Efforts within the Automotive Industry
Session, In-vehicle networks and in-vehicle software ; 2008 ; Detroit, MI
01.01.2008
8 pages
Includes bibliographical references; Held as part of the SAE 2008 world congress
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
A Critical Analysis of Model-Based Formal Verification Efforts within the Automotive Industry
SAE Technical Papers | 2008
|A critical analysis of model-based formal verification efforts within the automotive industry
Kraftfahrwesen | 2008
|A Critical Analysis of Model-Based Formal Verification Efforts within the Automotive Industry
British Library Conference Proceedings | 2008
|2006-01-0220 Non-isothermal Modeling of Polymer Electrolyte Membrane Fuel Cell Stacks
British Library Conference Proceedings | 2006
|Formal Safety Verification of Automotive Microcontroller Parts
Tema Archiv | 2012
|