Published in January 2024 | Version v1
Masterthesis Open

Verification of real-time resource management protocols – from code to model


86576.pdf
Files (1.5 MB)
Name Size
86576.pdf
md5:ac56571ba974f510b58e1bdfa0c1ea7f
1.5 MB Preview Download

Upload information

Created: February 12, 2024 | Modified: February 28, 2024