Modell und Software Verifikation vereinfacht - zeitkritische Software Anforderungen effizient testen
Model and software verification simplified - efficient testing of time critical software.
2009
5 pages
Elektronik automotive;(2009)4 ;45-49
Aufsatz (Zeitschrift)
Deutsch
Fahrerassistenzapplikationen effizient entwickeln, testen und absichern
Tema Archiv | 2009
|IuD Bahn | 1994
|KONSTRUKTION - Software-Tool vereinfacht Entwicklung einer Getriebereihe
Online Contents | 2009
Kraftfahrwesen | 2003
|Ein Verfahren zur Software-Verifikation
Tema Archiv | 1984
|