TY  - CONF
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
UR  - http://opus.technikum-wien.at/frontdoor/index/index/docId/2460
SP  - 289
EP  - 296
ER  -