Integrierte algorithmische und deduktive Verifikation verteilter Steuerungssysteme für hybride Prozesse
Subject Area
Automation, Mechatronics, Control Systems, Intelligent Technical Systems, Robotics
Term
from 2001 to 2003
Project identifier
Deutsche Forschungsgemeinschaft (DFG) - Project number 5301556
No abstract available
DFG Programme
Priority Programmes
