Research Projects
COMQUAD - COMponents with QUantitative properties and ADaptation
Der Lehrstuhl ist beteiligt an der DFG-Forschergruppe COMQUAD, die sich mit Komponentenmodellen unter Einbeziehung quantifizierter Eigenschaften und Adaptivität befasst. Der Lehrstuhl konzentriert sich hier auf Spezifikationstechniken. Siehe auch die COMQUAD-Seite des Lehrstuhls.
- Funded by: DFG
- Contact person: Heinrich Hußmann
- Project Website: link
- Funding period: 01/2001 - 12/2004