Application of Model Checking to Automotive Control Software with Slicing Technique
SAE 2013 world congress and exhibition ; 2013 ; Detroit, MI
2013-01-01
436 pages
Papers 2013-01-0150 to 2013-01-1779 held with gaps
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Application of Model Checking to Automotive Control Software with Slicing Technique
SAE Technical Papers | 2013
|Application of model checking to automotive control software with slicing technique
Kraftfahrwesen | 2013
|Applying model checking to an automotive microcontroller application
Tema Archiv | 2007
|Model checking large software specifications
Tema Archiv | 1997
|