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

Antragsteller Professor Dr. Thomas Kropf
Fachliche Zuordnung Theoretische Informatik
Förderung Förderung von 1998 bis 2007
Projektkennung Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5135348
 

Projektbeschreibung

Keine Zusammenfassung vorhanden
DFG-Verfahren Schwerpunktprogramme
Teilprojekt zu SPP 1064:  Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen