TU Darmstadt / ULB / TUbiblio

Runtime verification for multicore SoC with high-quality trace data

Backasch, Rico and Hochberger, Christian and Weiss, Alexander and Leucker, Martin and Lasslop, Richard (2013):
Runtime verification for multicore SoC with high-quality trace data.
In: ACM Transactions on Design Automation of Electronic Systems, pp. 1-26, 18, (2), ISSN 10844309, [Online-Edition: http://dx.doi.org/10.1145/2442087.2442089],
[Article]

Item Type: Article
Erschienen: 2013
Creators: Backasch, Rico and Hochberger, Christian and Weiss, Alexander and Leucker, Martin and 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
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:

Optionen (nur für Redakteure)

View Item View Item