Towards Reusable Formal Models for Custom Real-Time Operating Systems
Adelt Julius, Gebker Julian, Herber Paula
Forschungsartikel in Sammelband (Konferenz) | Peer reviewedDetails zur Publikation
Herausgeber*innen: Groote JF, Huisman M
Buchtitel: Formal Methods for Industrial Critical Systems - 27th International Conference, {FMICS} 2022, Warsaw, Poland, September 14-15, 2022, Proceedings (Band 13487)
Seitenbereich: 69-85
Verlag: Springer
Erscheinungsort: Warsaw, Poland
Titel der Reihe: Lecture Notes in Computer Science
Status: Veröffentlicht
Veröffentlichungsjahr: 2022
Konferenz: Formal Methods for Industrial Critical Systems - 27th International Conference, Warsaw, Polen
ISBN: 978-3-031-15008-1
Link zum Volltext: https://doi.org/10.1007/978-3-031-15008-1\_6
Stichwörter: Real-time Systems; Formal Verification; Reusability
Autor*innen der Universität Münster
| Adelt, Julius Laurin | Professur für Praktische Informatik (Prof. Herber) |
| Herber, Paula | Professur für Praktische Informatik (Prof. Herber) |