Towards Quantitative Analysis of Simulink Models Using Stochastic Hybrid Automata
Blohm, Pauline; Herber, Paula; Remke, Anne
Forschungsartikel in Sammelband (Konferenz) | Peer reviewedDetails zur Publikation
Herausgeber*innen: Kosmatov, Nikolai; Kovács, Laura
Buchtitel: Integrated Formal Methods. iFM 2024 (Band 15234)
Seitenbereich: 172-193
Verlag: Springer Nature
Erscheinungsort: Manchester
Titel der Reihe: Lecture Notes in Computer Science (ISSN: 1611-3349)
Status: Veröffentlicht
Veröffentlichungsjahr: 2025
Konferenz: Integrated Formal Methods. iFM 2024, Manchester, Vereinigtes Königreich
ISBN: 9783031765544
Link zum Volltext: http://dx.doi.org/10.1007/978-3-031-76554-4_10
Stichwörter: Simulink; Hybrid Automata; Quantitative Analysis
Autor*innen der Universität Münster
| Blohm, Pauline Anne | Professur für Praktische Informatik (Prof. Herber) |
| Herber, Paula | Professur für Praktische Informatik (Prof. Herber) |
| Remke, Anne | Professur für Praktische Informatik (Prof. Remke) |