Project Details
Projekt
Modulare temporallogische Spezifikationen hybrider Systeme
Applicant
Professor Dr. Heiko Krumm
Subject Area
Automation, Mechatronics, Control Systems, Intelligent Technical Systems, Robotics
Term
from 1996 to 2000
Project identifier
Deutsche Forschungsgemeinschaft (DFG) - Project number 5265402
No abstract available
DFG Programme
Priority Programmes
