Analyzing Cyber-Physical Systems with Runtime Veri fication

Dejan Nickovic

Publikation: Abschlussarbeit › Habilitation

OriginalspracheEnglisch
Gradverleihende Hochschule
  • TU Wien
PublikationsstatusVeröffentlicht - 2020

Research Field

  • Dependable Systems Engineering

Diese Publikation zitieren