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.