Modulare temporallogische Spezifikationen hybrider Systeme

Antragsteller Professor Dr. Heiko Krumm
Fachliche Zuordnung Automatisierungstechnik, Mechatronik, Regelungssysteme, Intelligente Technische Systeme, Robotik
Förderung Förderung von 1996 bis 2000
Projektkennung Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5265402
 

Projektbeschreibung

Keine Zusammenfassung vorhanden
DFG-Verfahren Schwerpunktprogramme
Teilprojekt zu SPP 1016:  Analyse und Synthese kontinuierlich-diskreter technischer Systeme (KONDISK)