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
Publisher: Kosmatov, Nikolai; Kovács, Laura
Book title: Integrated Formal Methods. iFM 2024 (Volume 15234)
Page range: 172-193
Publishing company: Springer Nature
Place of publication: Manchester
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 | Professorship for practical comuter science |
| Herber, Paula | Professorship for practical comuter science |
| Remke, Anne | Professorship for practical computer science (Prof. Remke) |