Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) |
Publikationstyp | Proceedingsbeitrag |
Publikationsjahr | 2025 |
Sprache | Englisch |
Identifikator | KITopen-ID: 1000181921 |
Erschienen in | FormaliSE 2025 |
Veranstaltung | 13th International Conference on Software Engineering and Formal Methods (FormaliSE 2025), Ottawa, Kanada, 27.04.2025 – 28.04.2025 |