Project Formale und methodische Integration von graphischer Spezifikation und Echtzeitverifikation im Entwurf komplexer…

Basic data

Title:
Formale und methodische Integration von graphischer Spezifikation und Echtzeitverifikation im Entwurf komplexer Produktionsautomatisierungssysteme
Duration:
18/09/1998 to 25/01/2002

Staff

Managers

Faculty of Science
University of Tübingen
Department of Informatics
Faculty of Science
Wilhelm Schickard Institute of Computer Science (WSI)
Department of Informatics, Faculty of Science

Local organizational units

Wilhelm Schickard Institute of Computer Science (WSI)
Department of Informatics
Faculty of Science

Funders

Bonn, Nordrhein-Westfalen, Germany
Help

will be deleted permanently. This cannot be undone.