Analyzing Cyber-Physical Systems with Runtime Veri fication

Publikation: Abschlussarbeit › Habilitation

OriginalspracheEnglisch
Gradverleihende Hochschule
  • TU Wien
PublikationsstatusVeröffentlicht - 2020

Research Field

  • Dependable Systems Engineering

Diese Publikation zitieren