Formale Verifikation in der Fertigungsautomatisierung (Projektabschnitt B1)

Third party funded individual grant


Start date : 15.04.2019

End date : 14.04.2020

Project details

Involved:

Thomas Moor Project Leader

Contributing FAU Organisations:

Professur für Regelungstechnik

Funding Source

Siemens AG

Research Areas

Microscope SVG Discrete event systems Field of Research