Application of model checking to automotive control software with slicing technique
Anwendung der Modellpruefung von Steuerungssoftware fuer Kraftwagen mit Hilfe der Slicing Technik.
2013
7 pages
SAE-Paper;2013-01-0436;2013
Sonstige
Englisch
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
British Library Conference Proceedings | 2013
|Applying model checking to an automotive microcontroller application
Tema Archiv | 2007
|Model checking large software specifications
Tema Archiv | 1997
|