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
Article, Bibliographie
| Item Type: | Article |
|---|---|
| Erschienen: | 2013 |
| Creators: | Backasch, Rico ; Hochberger, Christian ; Weiss, Alexander ; Leucker, Martin ; Lasslop, Richard |
| Type of entry: | Bibliographie |
| Title: | Runtime verification for multicore SoC with high-quality trace data |
| Language: | English |
| Date: | 2013 |
| Journal or Publication Title: | ACM Transactions on Design Automation of Electronic Systems |
| Volume of the journal: | 18 |
| Issue Number: | 2 |
| DOI: | 10.1145/2442087.2442089 |
| 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 |
| Last Modified: | 19 Apr 2016 07:25 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Send an inquiry |
Options (only for editors)
 |
Show editorial Details |
Drucken
Impressum