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
2008-01-01
8 pages
Includes bibliographical references; Held as part of the SAE 2008 world congress
Conference paper
English
© 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
Automotive engineering | 2008
|A Critical Analysis of Model-Based Formal Verification Efforts within the Automotive Industry
British Library Conference Proceedings | 2008
|A Critical Analysis of Model-Based Formal Verification Efforts within the Automotive Industry
SAE Technical Papers | 2008
|2000-01-0220 Low Temperature Catalytic Converter Durability
British Library Conference Proceedings | 2000
|2006-01-0220 Non-isothermal Modeling of Polymer Electrolyte Membrane Fuel Cell Stacks
British Library Conference Proceedings | 2006
|