Effiziente Kontrolle von Verbunden von Raumfahrzeugen (C10)

• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 2004 bis 2006
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5479228

Keine Zusammenfassung vorhanden

• DFG-Verfahren: Sonderforschungsbereiche
• Teilprojekt zu: SFB 376: Massive Parallelität - Algorithmen, Entwurfsmethoden, Anwendungen
• Antragstellende Institution: Universität Paderborn
• Teilprojektleiter: Professor Dr. Michael Dellnitz; Professor Dr. Oliver Junge; Dr. Robert Preis