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
Sonstige
Deutsch
Einsatz formaler Methoden zur Erhöhung der Sicherheit eingebetteter Systeme im Kfz
Tema Archiv | 1997
|Sicherheit eingebetteter Systeme auf Basis arithmetischer Codierungen
Tema Archiv | 2014
|Semiformale Methoden für den automatisierten Test eingebetteter Systeme
Tema Archiv | 2007
|Erhoehung der Sicherheit gebauter Nockenwellen durch Einsatz beschichteter Pressverbindungen
Kraftfahrwesen | 1996
|