Formale Entwurfs- und Verifikationsverfahren (C 2)

• Fachliche Zuordnung: Rechnerarchitektur, eingebettete und massiv parallele Systeme
• Förderung: Förderung von 1992 bis 1998
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5478635

Keine Zusammenfassung vorhanden

• DFG-Verfahren: Sonderforschungsbereiche
• Teilprojekt zu: SFB 358: Automatisierter Systementwurf - Synthese - Test - Verifikation - dedizierte Anwendungen
• Mitantragstellende Institution: Karlsruher Institut für Technologie (KIT) ; Campus Süd (aufgelöst)
• Antragstellende Institution: Technische Universität Dresden
• Teilprojektleiter: Professor Dr.-Ing. Detlef Schmid (†)