Real-Time Monitoring for Correctness and Robustness

Stefan Jaksic

Research output: Thesis › Doctoral Thesis

Original languageEnglish
Awarding Institution
  • TU Wien
Supervisors/Advisors
  • Deshmukh, Jyotirmoy V., Supervisor, External person
  • Grosu, Radu, Supervisor, External person
  • Nickovic, Dejan, Supervisor
Award date22 Oct 2018
Publication statusPublished - 2018

Research Field

  • Dependable Systems Engineering

Cite this