| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsdatum | 02.12.2025 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 1000192213 |
| HGF-Programm | 46.23.01 (POF IV, LK 01) Methods for Engineering Secure Systems |
| Erschienen in | Proceedings of the DiTraRe Symposium on Digitalisation of Research 2025 Karlsruhe, 2nd - 3rd December 2025 |
| Veranstaltung | Digital Transformation of Research Symposium on Digitalisation of Research (DiTraRe 2025), Karlsruhe, Deutschland, 02.12.2025 – 03.12.2025 |
| Verlag | Zenodo |
| Projektinformation | DiTraRe (LEIBNIZ, W74/2022) |
| Bemerkung zur Veröffentlichung | in press |
| Externe Relationen | Folien/Poster |