Spezifikation und Verifikation von Steuerungen für kontinuierliche Systeme auf der Grundlage modularer Modelle und kompositioneller Analyse
Subject Area
Automation, Mechatronics, Control Systems, Intelligent Technical Systems, Robotics
Term
from 1996 to 2000
Project identifier
Deutsche Forschungsgemeinschaft (DFG) - Project number 5267552
No abstract available
DFG Programme
Priority Programmes