Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
Publikationstyp | Buchaufsatz |
Publikationsjahr | 2018 |
Sprache | Englisch |
Identifikator | ISBN: 978-3-8007-4559-3 KITopen-ID: 1000092015 |
Erschienen in | ARCS 2018 : 31th International Conference on Architecture of Computing Systems April, 9-12, 2018, Technische Universität Braunschweig, Braunschweig, Germany, Workshop Proceedings |
Verlag | VDE Verlag |
Seiten | 1-8 |