Entwurf und Analyse komplexer hybrider Systeme basierend auf formalen objektorientierten Spezifikationen
Fachliche Zuordnung
Automatisierungstechnik, Mechatronik, Regelungssysteme, Intelligente Technische Systeme, Robotik
Förderung
Förderung von 1997 bis 2002
Projektkennung
Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5373609
Keine Zusammenfassung vorhanden
DFG-Verfahren
Schwerpunktprogramme