@unpublished{kandl14[TUW-227153], author = {Kandl, Susanne and Elshuber, Martin and Puschner, Peter}, title = {Formal Verification at System Level}, year = {2014}, note = {poster presentation: HiPEAC 2014 (International Conference on High-Performance and Embedded Architectures and Compilers), Vienna; 2014-01-20 -- 2014-01-22} }