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. ...