Formale Verifikation in der Fertigungsautomatisierung (Projektabschnitt A)

Third party funded individual grant


Project Details

Project leader:
Prof. Dr. Thomas Moor


Contributing FAU Organisations:
Professur für Regelungstechnik

Funding source: Siemens AG
Start date: 15/04/2018
End date: 14/04/2019


Research Fields

Discrete Event Systems
Lehrstuhl für Regelungstechnik

Last updated on 2019-13-05 at 11:49