TY - JOUR A1 - Horauer, Martin A1 - Widhalm, Dominik A1 - Tauner, Stefan A1 - Mirtl, Stefan T1 - Verification challenges of complex system-on-chip devices T2 - e & i Elektrotechnik und Informationstechnik: Volume 132, Issue 6 (2015) KW - Embedded Systems KW - Electronic Engineering KW - Information Technology Y1 - 2019 UR - http://opus.technikum-wien.at/frontdoor/index/index/docId/2539 IS - e & i Elektrotechnik und Informationstechnik: Volume 132, Issue 6 (2015) ER -