Published in January 2024
| Version v1
Masterthesis
Open
Verification of real-time resource management protocols – from code to model
Creators
86576.pdf