| 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 | OpenAlex Scopus Dimensions |