Backasch, Rico ; Hochberger, Christian ; Weiss, Alexander ; Leucker, Martin ; Lasslop, Richard (2013)
Runtime verification for multicore SoC with high-quality trace data.
In: ACM Transactions on Design Automation of Electronic Systems, 18 (2)
doi: 10.1145/2442087.2442089
Artikel, Bibliographie