Formale Verifikation in der Fertigungsautomatisierung (Projektabschnitt B1)

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/2019
End date: 14/04/2020


Research Fields

Discrete Event Systems
Lehrstuhl für Regelungstechnik

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