TY  - JOUR
A1  - Horauer, Martin
A1  - Widhalm, Dominik
A1  - Tauner, Stefan
A1  - Mirtl, Stefan
T1  - Verification challenges of complex system-on-chip devices
JF  - e & i Elektrotechnik und Informationstechnik: Volume 132, Issue 6 (2015)
KW  - Embedded Systems
KW  - Electronic Engineering
KW  - Information Technology
Y1  - 2019
IS  - e & i Elektrotechnik und Informationstechnik: Volume 132, Issue 6 (2015)
ER  -