| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL) |
| Publikationstyp | Audio & Video |
| Publikationsdatum | 13.02.2025 |
| Erstellungsdatum | 30.01.2025 |
| Sprache | Deutsch |
| DOI | 10.5445/IR/1000178558 |
| Identifikator | KITopen-ID: 1000178558 |
| HGF-Programm | 46.23.01 (POF IV, LK 01) Methods for Engineering Secure Systems |
| Lizenz | Creative Commons Namensnennung 4.0 International |
| Nachgewiesen in | OpenAlex |
| Relationen in KITopen |