Forschung

Diese Forschungsthemen werden behandelt:

  • Cyber-physische Systeme
  • Künstliche Intelligenz, Maschinelles Lernen
  • Formale Verifikation von Eingebetteten Systemen
  • Industrie 4.0
ICPS