Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
Publikationstyp | Forschungsbericht/Preprint |
Publikationsmonat/-jahr | 10.2024 |
Sprache | Deutsch |
Identifikator | KITopen-ID: 1000175491 |
Projektinformation | AUDITOR (BMWK, 01MT17003A) |
Bemerkung zur Veröffentlichung | in press |