Semiformale Methoden für den automatisierten Test eingebetteter Systeme
2006
152 S.
21 cm
Ill., graph. Darst.
Hochschulschrift
Deutsch
Semiformale Methoden für den automatisierten Test eingebetteter Systeme
Tema Archiv | 2007
|Einsatz formaler Methoden zur Erhoehung der Sicherheit eingebetteter Systeme im Kfz
Kraftfahrwesen | 1998
|Einsatz formaler Methoden zur Erhöhung der Sicherheit eingebetteter Systeme im Kfz
Tema Archiv | 1997
|Testmethoden fur Software eingebetteter Systeme
British Library Online Contents | 2014