Professor Dr. Wolfgang Müller

Adresse Universität Paderborn
Heinz Nixdorf Institut (HNI)
Fürstenallee 11
33102 Paderborn

Projekte

Als Beteiligte Person
- abgeschlossene Projekte
  - Formale und methodische Integration von graphischer Spezifikation und Echtzeitverifikation im Entwurf komplexer Produktionsautomatisierungssysteme (Schwerpunktprogramme)
  - Formale und methodische Integration von graphischer Spezifikation und Echtzeitverifikation im Entwurf komplexer Produktionsautomatisierungssysteme (Schwerpunktprogramme)