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

• Antragsteller: Professor Dr. Franz-Josef Rammig
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 2000 bis 2005
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5280360

Keine Zusammenfassung vorhanden

• DFG-Verfahren: Schwerpunktprogramme
• Teilprojekt zu: SPP 1064: Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen
• Beteiligte Person: Professor Dr. Wolfgang Müller