Runetime Verification Logics for Object-Oriented Real-Time Systems

Tobias Mende

Original languageEnglish
QualificationMaster of Science
Awarding Institution
Supervisors/Advisors
  • Leucker, Martin, Supervisor
  • Tantau, Till, Supervisor
Publication statusPublished - 2015
Externally publishedYes

Cite this