TU Darmstadt / ULB / TUbiblio

Rapidly Adjustable Non-intrusive Online Monitoring for Multi-core Systems

Decker, Norman and Gottschling, Philip and Hochberger, Christian and Luecker, Martin and Scheffel, Torben and Schmitz, Malte and Weiss, Alexander (2017):
Rapidly Adjustable Non-intrusive Online Monitoring for Multi-core Systems.
In: SBMF 2017: Brazilian Symposium on Formal Methods, DOI: 10.1007/978-3-319-70848-5_12,
[Online-Edition: https://link.springer.com/chapter/10.1007%2F978-3-319-70848-...],
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2017
Creators: Decker, Norman and Gottschling, Philip and Hochberger, Christian and Luecker, Martin and Scheffel, Torben and Schmitz, Malte and Weiss, Alexander
Title: Rapidly Adjustable Non-intrusive Online Monitoring for Multi-core Systems
Language: English
Title of Book: SBMF 2017: Brazilian Symposium on Formal Methods
Divisions: 18 Department of Electrical Engineering and Information Technology
18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering
18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering > Computer Systems Group
Date Deposited: 30 Nov 2017 16:37
DOI: 10.1007/978-3-319-70848-5_12
Official URL: https://link.springer.com/chapter/10.1007%2F978-3-319-70848-...
Export:

Optionen (nur für Redakteure)

View Item View Item