A critical analysis of model-based formal verification efforts within the automotive industry
Eine kritische Analyse des Aufwands der modellbasierten, formalen Verifizierung in der Fahrzeugindustrie.
2008
7 pages
SAE-Paper;2008-01-0220;2008;In-Vehicle Networks and Software;SAE Spec.Publ.; SP-2197
Miscellaneous
English
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
British Library Conference Proceedings | 2008
|British Library Conference Proceedings | 2008
|Formal Safety Verification of Automotive Microcontroller Parts
Tema Archive | 2012
|Formal Verification of Flight Critical Software
AIAA | 2005
|