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

• Applicant: Professor Dr. Franz-Josef Rammig
• Subject Area: Theoretical Computer Science
• Term: from 2000 to 2005
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 5280360

No abstract available

• DFG Programme: Priority Programmes
• Subproject of: SPP 1064: Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen
• Participating Person: Professor Dr. Wolfgang Müller