Reusable formal models for concurrency and communication in custom real-time operating systems
Adelt Julius; Gebker Julian; Herber Paula
Forschungsartikel (Zeitschrift) | Peer reviewedDetails zur Publikation
Fachzeitschrift: International Journal on Software Tools for Technology Transfer
Jahrgang / Bandnr. / Volume: 26
Ausgabe / Heftnr. / Issue: 2
Seitenbereich: 229-245
Status: Veröffentlicht
Veröffentlichungsjahr: 2024
Stichwörter: Formal Methods; Real-time Operating Systems; Timed Automata
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) |