Professor Dr. Wolfgang Müller
Address
Universität Paderborn
Heinz Nixdorf Institut (HNI)
Fürstenallee 11
33102 Paderborn
Projects
As Participating Person
Completed projects
Formale und methodische Integration von graphischer Spezifikation und Echtzeitverifikation im Entwurf komplexer Produktionsautomatisierungssysteme
(Priority Programmes)
Formale und methodische Integration von graphischer Spezifikation und Echtzeitverifikation im Entwurf komplexer Produktionsautomatisierungssysteme
(Priority Programmes)