A Critical Analysis of Model-Based Formal Verification Efforts within the Automotive Industry
World Congress, Society of Automotive Engineers; SAE 2008 world congress ; 2008 ; Detroit, MI
2008-01-01
220 pages
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
SAE Technical Papers | 2008
|British Library Conference Proceedings | 2008
|Formal Safety Verification of Automotive Microcontroller Parts
Tema Archive | 2012
|Formal Verification of Flight Critical Software
AIAA | 2005
|