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

• Applicant: Professor Dr.-Ing. Peter Göhner
• Subject Area: Theoretical Computer Science
• Term: from 2002 to 2006
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 5390844

No abstract available

• DFG Programme: Priority Programmes
• Subproject of: SPP 1064: Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen