[Back]

@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}
}