Ziel von SeSam ist es, Grundlagen für die Entwicklung und Zertifizierung von hochsicheren Betriebssystemkomponenten zu schaffen. Insbesondere geht es ...
Bei VirGo4 stehen kooperativ-adaptive, zuverlässige Robotersysteme im Mittelpunkt. Neben der Verhaltenssteuerung einzelner Roboter ist besonders das ...
In dem hälftig von der EU und dem Cosmetics-Europe Verbund der kosmetischen Industrie geförderten Projekt “NOTOX” sollen systembiologische Werkzeuge ...
Ziel des Projektes SHIP ist es, die semantische Modellierung und Analyse, und darauf basierende Verifkationstechniken zu nutzen, zu erweitern und zu ...