Formale Beschreibungstechniken (C 1)

• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 1995 bis 2003
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5480830

Keine Zusammenfassung vorhanden

• DFG-Verfahren: Sonderforschungsbereiche
• Teilprojekt zu: SFB 501: Entwicklung großer Systeme mit generischen Methoden
• Antragstellende Institution: Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
• Teilprojektleiter: Professor Dr. Jürgen Avenhaus; Professor Dr. Klaus Madlener