Runtime verification for multicore SoC with high-quality trace data
Title | Runtime verification for multicore SoC with high-quality trace data |
Publication Type | Journal Article |
Year of Publication | 2013 |
Authors | Backasch, R, Hochberger, C, Weiss, A, Leucker, M, Lasslop, R |
Journal | ACM Trans. Design Autom. Electr. Syst. |
Volume | 18 |
Pagination | 18 |
URL | http://doi.acm.org/10.1145/2442087.2442089 |
DOI | 10.1145/2442087.2442089 |
Bibtex:
@article {958, title = {Runtime verification for multicore SoC with high-quality trace data}, journal = {ACM Trans. Design Autom. Electr. Syst.}, volume = {18}, year = {2013}, pages = {18}, doi = {http://doi.acm.org/10.1145/2442087.2442089}, url = {http://doi.acm.org/10.1145/2442087.2442089}, author = {Rico Backasch and Christian Hochberger and Alexander Weiss and Martin Leucker and Richard Lasslop} }