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