Formale und methodische Integration von graphischer Spezifikation und Echtzeitverifikation im Entwurf komplexer Produktionsautomatisierungssysteme

Applicant Professor Dr. Thomas Kropf
Subject Area Theoretical Computer Science
Term from 1998 to 2007
Project identifier Deutsche Forschungsgemeinschaft (DFG) - Project number 5135348
 

Project Description