Towards Reusable Formal Models for Custom Real-Time Operating Systems
Adelt Julius, Gebker Julian, Herber Paula
Research article in edited proceedings (conference) | Peer reviewedDetails about the publication
Publisher: Groote JF, Huisman M
Book title: Formal Methods for Industrial Critical Systems - 27th International Conference, {FMICS} 2022, Warsaw, Poland, September 14-15, 2022, Proceedings (Volume 13487)
Page range: 69-85
Publishing company: Springer
Place of publication: Warsaw, Poland
Title of series: Lecture Notes in Computer Science
Status: Published
Release year: 2022
Conference: Formal Methods for Industrial Critical Systems - 27th International Conference, Warsaw, Poland
ISBN: 978-3-031-15008-1
Link to the full text: https://doi.org/10.1007/978-3-031-15008-1\_6
Keywords: Real-time Systems; Formal Verification; Reusability
Authors from the University of Münster
| Adelt, Julius Laurin | Professorship for practical comuter science |
| Herber, Paula | Professorship for practical comuter science |