[Back]


Talks and Poster Presentations (without Proceedings-Entry):

S. Kandl, M. Elshuber, P. Puschner:
"Formal Verification at System Level";
Poster: HiPEAC 2014 (International Conference on High-Performance and Embedded Architectures and Compilers), Vienna; 2014-01-20 - 2014-01-22.