Formale Analyse von Sequential Funktion Charts

• Antragsteller: Professor Dr. Willem-Paul de Roever
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 1999 bis 2006
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5184088

Keine Zusammenfassung vorhanden

• DFG-Verfahren: Sachbeihilfen