Model-Based Development and Simulative Verification of Logical Vehicle Functions Using Executable UN/ECE Regulations
| Zugehörige Institution(en) am KIT | Institut für Technik der Informationsverarbeitung (ITIV) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2020 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 1000122591 |
| Erschienen in | Proceedings of the 2020 Summer Simulation Conference, Society for Computer Simulation International, San Diego, CA, United States |
| Veranstaltung | Summer Simulation Conference (SummerSim 2020), Online, 20.07.2020 – 22.07.2020 |
| Verlag | Association for Computing Machinery (ACM) |
| Seiten | Art.-Nr.: 31 |
| Serie | SummerSim '20 |
| Bemerkung zur Veröffentlichung | Die Veranstaltung fand wegen der Corona-Pandemie als Online-Event statt |