Entwicklung und Adaption von Methoden zur Softwarespezifikation für verteilte Echtzeitsysteme in der Prozessautomatisierung

• Antragsteller: Professor Dr.-Ing. Peter Göhner
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 2002 bis 2006
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5390844

Keine Zusammenfassung vorhanden

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