Proving properties of autonomous car manoeuvres in urban traffic
Schwammberger, Maike
| Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsdatum | 25.11.2021 |
| Sprache | Englisch |
| Identifikator | ISSN: 2196-7032, 1611-2776 KITopen-ID: 1000169859 |
| Erschienen in | it - Information Technology |
| Verlag | De Gruyter |
| Band | 63 |
| Heft | 5-6 |
| Seiten | 253–263 |
| Vorab online veröffentlicht am | 18.09.2021 |
| Nachgewiesen in | Scopus Dimensions |