| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsdatum | 30.09.2025 |
| Sprache | Englisch |
| Identifikator | ISBN: 979-8-3315-2527-9 KITopen-ID: 1000188846 |
| Erschienen in | 2025 IEEE International Automated Vehicle Validation Conference (IAVVC), Baden-Baden, Germany, 30 September 2025 - 02 October 2025 |
| Veranstaltung | IEEE International Automated Vehicle Validation Conference (IAVVC 2025), Baden-Baden, Deutschland, 30.09.2025 – 02.10.2025 |
| Verlag | Institute of Electrical and Electronics Engineers (IEEE) |
| Nachgewiesen in | OpenAlex Dimensions Scopus |