Navigating Dimensionality Through State Machines in Automotive System Validation
Adolph, Laurenz; Schütt, Barbara
1; Kraus, David
1; Sax, Eric 1
1 Institut für Technik der Informationsverarbeitung (ITIV), Karlsruher Institut für Technologie (KIT)
1; Kraus, David
1; Sax, Eric 11 Institut für Technik der Informationsverarbeitung (ITIV), Karlsruher Institut für Technologie (KIT)
| Zugehörige Institution(en) am KIT | Institut für Technik der Informationsverarbeitung (ITIV) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2025 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-989-758-729-0 KITopen-ID: 1000181692 |
| Erschienen in | Proceedings of the 13th International Conference on Model-Based Software and Systems Engineering MODELSWARD. Vol.: 1, 2025 , Porto, Portugal. Ed.: F. Ciccozzi |
| Veranstaltung | 13th International Conference on Model-Based Software and Systems Engineering (MODELSWARD 2025), Porto, Portugal, 26.02.2025 – 28.02.2025 |
| Verlag | SciTePress |
| Seiten | 125–132 |
| Nachgewiesen in | Dimensions Scopus OpenAlex |