Zugehörige Institution(en) am KIT | Universität Karlsruhe (TH) – Einrichtungen in Verbindung mit der Universität (Einrichtungen in Verbindung mit der Universität) FZI Forschungszentrum Informatik (FZI) Institut für Programmstrukturen und Datenorganisation (IPD) Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL) |
Publikationstyp | Proceedingsbeitrag |
Publikationsjahr | 2017 |
Sprache | Englisch |
Identifikator | ISBN: 978-1-4503-5093-8 KITopen-ID: 1000078361 |
Erschienen in | MEMOCODE '17 : Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, Vienna, Austria, 29th September - 2nd October 2017 |
Verlag | Association for Computing Machinery (ACM) |
Seiten | 67-76 |
Nachgewiesen in | Dimensions Scopus |