Original language | English |
---|---|
Qualification | Master of Science |
Awarding Institution | |
Supervisors/Advisors |
|
Publication status | Published - 2015 |
Externally published | Yes |
Runetime Verification Logics for Object-Oriented Real-Time Systems
Tobias Mende
Tobias Mende
Original language | English |
---|---|
Qualification | Master of Science |
Awarding Institution | |
Supervisors/Advisors |
|
Publication status | Published - 2015 |
Externally published | Yes |