Formale Verifikation in der Fertigungsautomatisierung (Projektabschnitt B1)

Drittmittelfinanzierte Einzelförderung


Details zum Projekt

Projektleiter/in:
Prof. Dr. Thomas Moor


Beteiligte FAU-Organisationseinheiten:
Professur für Regelungstechnik

Mittelgeber: Siemens AG
Projektstart: 15.04.2019
Projektende: 14.04.2020


Forschungsbereiche

Ereignisdiskrete Systeme
Lehrstuhl für Regelungstechnik

Zuletzt aktualisiert 2019-13-05 um 11:51