Einsatz formaler Methoden zur Erhoehung der Sicherheit eingebetteter Systeme im Kfz
Using formal methods in designing embedded systems for automotive applications.
1998
18 pages
VDI-Ber.; 1998;Systemengineering in der Kfz-Entwicklung;VDI-Berichte;Nr.;1374
Miscellaneous
German
Einsatz formaler Methoden zur Erhöhung der Sicherheit eingebetteter Systeme im Kfz
Tema Archive | 1997
|Sicherheit eingebetteter Systeme auf Basis arithmetischer Codierungen
Tema Archive | 2014
|Semiformale Methoden für den automatisierten Test eingebetteter Systeme
Tema Archive | 2007
|Zum Einsatz dynamisch rekonfigurierbarer eingebetteter Systeme in der Bildverarbeitung
Tema Archive | 2011
|