Towards Quantitative Analysis of Simulink Models Using Stochastic Hybrid Automata
Blohm, Pauline; Herber, Paula; Remke, Anne
Research article in edited proceedings (conference) | Peer reviewedDetails about the publication
Editors: Kosmatov, Nikolai; Kovács, Laura
Book title: Integrated Formal Methods. iFM 2024 (Volume 15234)
Page range: 172-193
Publisher: Springer Nature
Place of publication: Switzerland
Title of series: Lecture Notes in Computer Science (ISSN: 1611-3349)
Status: Published
Release year: 2025
Conference: Integrated Formal Methods. iFM 2024, Manchester, United Kingdom
ISBN: 9783031765544
Link to the full text: http://dx.doi.org/10.1007/978-3-031-76554-4_10
Keywords: Simulink; Hybrid Automata; Quantitative Analysis
Authors from the University of Münster
| Blohm, Pauline Anne | |
| Herber, Paula | |
| Remke, Anne |