Originalsprache | Englisch |
---|---|
Qualifikation | Master of Science |
Gradverleihende Hochschule | |
Betreuer/-in / Berater/-in |
|
Publikationsstatus | Veröffentlicht - 2015 |
Extern publiziert | Ja |
Runetime Verification Logics for Object-Oriented Real-Time Systems
Tobias Mende