| Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsdatum | 27.04.2025 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 1000181921 |
| HGF-Programm | 46.23.01 (POF IV, LK 01) Methods for Engineering Secure Systems |
| Erschienen in | FormaliSE 2025 |
| Veranstaltung | 13th International Conference on Software Engineering and Formal Methods (FormaliSE 2025), Ottawa, Kanada, 27.04.2025 – 28.04.2025 |
| Verlag | IEEEXplore |
| Seiten | 113–123 |
| Nachgewiesen in | OpenAlex Scopus Dimensions |
| Globale Ziele für nachhaltige Entwicklung |