TU Darmstadt / ULB / TUbiblio

Runtime verification for multicore SoC with high-quality trace data

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), pp. 1-26. ISSN 10844309,
[Article]

Item Type: Article
Erschienen: 2013
Creators: Backasch, Rico ; Hochberger, Christian ; Weiss, Alexander ; Leucker, Martin ; Lasslop, Richard
Title: Runtime verification for multicore SoC with high-quality trace data
Language: English
Journal or Publication Title: ACM Transactions on Design Automation of Electronic Systems
Journal volume: 18
Number: 2
Divisions: 18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering > Computer Systems Group
18 Department of Electrical Engineering and Information Technology
18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering
Date Deposited: 19 Apr 2016 07:25
Official URL: http://dx.doi.org/10.1145/2442087.2442089
Identification Number: doi:10.1145/2442087.2442089
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details