TY  - CHAP
A1  - Praprotnik, Oliver
A1  - Zauner, Martin
T1  - System-Testumgebung für die verteilte Automobilelektronik
T2  - Informationstagung Mikroelektronik (ME 2010),  Vienna, Austria, April 7-8, 2010
KW  - Embedded Systems
KW  - Automotive
KW  - Testing
Y1  - 2019
SP  - 305
EP  - 310
ER  - 
TY  - CHAP
A1  - Reinbacher, Thomas
A1  - Horauer, Martin
T1  - Formale Verifikation von Embedded Systems Software
T2  - Informationstagung Mikroelektronik (ME 2010), Vienna, Austria, April 7-8, 2010
KW  - Embedded Systems
KW  - Verification
Y1  - 2019
SP  - 289
EP  - 296
ER  -