Semiformale Methoden für den automatisierten Test eingebetteter Systeme
2006
152 S.
21 cm
Ill., graph. Darst.
Theses
German
Semiformale Methoden für den automatisierten Test eingebetteter Systeme
Tema Archive | 2007
|Semiformale Entwurfsmethoden bei BMW
Tema Archive | 1997
|Einsatz formaler Methoden zur Erhoehung der Sicherheit eingebetteter Systeme im Kfz
Automotive engineering | 1998
|Einsatz formaler Methoden zur Erhöhung der Sicherheit eingebetteter Systeme im Kfz
Tema Archive | 1997
|Testmethoden fur Software eingebetteter Systeme
British Library Online Contents | 2014