KIT | KIT-Bibliothek | Impressum | Datenschutz

Model-Based Development and Simulative Verification of Logical Vehicle Functions Using Executable UN/ECE Regulations

Neubauer, Kevin; Bucher, Harald; Haas, Benedikt; Becker, Jürgen



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
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page