Analyzing Cyber-Physical Systems with Runtime Veri fication

Research output: ThesisHabilitation

Original languageEnglish
Awarding Institution
  • TU Wien
Publication statusPublished - 2020

Research Field

  • Dependable Systems Engineering

Cite this