Entwurf komplexer Digitalsysteme mit unvollständiger Spezifikation (C 4)

• Fachliche Zuordnung: Informatik
• Förderung: Förderung von 1997 bis 2000
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5480280

Keine Zusammenfassung vorhanden

• DFG-Verfahren: Sonderforschungsbereiche
• Teilprojekt zu: SFB 420: Flugmesstechnik - Modellierung dynamischer Systeme
• Antragstellende Institution: Technische Universität Braunschweig
• Teilprojektleiter: Professor Dr.-Ing. Rolf Ernst