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 ...
Ziel des Projektes SHIP ist es, die semantische Modellierung und Analyse, und darauf basierende Verifkationstechniken zu nutzen, zu erweitern und zu ...