GRAphische Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen (GRASP)

ist ein von der DFG gefördertes Projekt im DFG-Schwerpunktprogramm
"Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen"

Projektleiter und Mitarbeiter

Kurzbeschreibung der Thematik

Verwendete Spezifikationstechniken

Werkzeuge

Bearbeitung von Fallstudien / Referenzfallstudien

Publikationen

Interne Informationen