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)
doi: 10.1145/2442087.2442089
Artikel, Bibliographie

Typ des Eintrags: Artikel
Erschienen: 2013
Autor(en): Backasch, Rico ; Hochberger, Christian ; Weiss, Alexander ; Leucker, Martin ; Lasslop, Richard
Art des Eintrags: Bibliographie
Titel: Runtime verification for multicore SoC with high-quality trace data
Sprache: Englisch
Publikationsjahr: 2013
Titel der Zeitschrift, Zeitung oder Schriftenreihe: ACM Transactions on Design Automation of Electronic Systems
Jahrgang/Volume einer Zeitschrift: 18
(Heft-)Nummer: 2
DOI: 10.1145/2442087.2442089
Fachbereich(e)/-gebiet(e): 18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik > Rechnersysteme
18 Fachbereich Elektrotechnik und Informationstechnik
18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik
Hinterlegungsdatum: 19 Apr 2016 07:25
Letzte Änderung: 19 Apr 2016 07:25
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen