Reusable formal models for concurrency and communication in custom real-time operating systems
Adelt Julius; Gebker Julian; Herber Paula
Research article (journal) | Peer reviewedDetails about the publication
Journal: International Journal on Software Tools for Technology Transfer
Volume: 26
Issue: 2
Page range: 229-245
Status: Published
Release year: 2024
Keywords: Formal Methods; Real-time Operating Systems; Timed Automata
Authors from the University of Münster
| Adelt, Julius Laurin | Professorship for practical comuter science |
| Herber, Paula | Professorship for practical comuter science |