Nicht nur die deutsche Fußballnationalmannschaft der Frauen spielt in diesem Sommer um den Weltmeisterpokal: Auch B-Human – das gemeinsame Team der ...
Anlässlich der bevorstehenden RoboCup German Open lädt B-Human – das gemeinsame Team der Universität Bremen und des Deutschen Forschungszentrums für ...
Vor Markteinführung müssen Computersysteme auf ihre Korrektheit überprüft werden. Eine vollständige Verifikation ist aufgrund der Komplexität heutiger ...
Gestern Abend, 5. Dezember 2018, bekamen Prof. Dr. Rolf Drechsler, Leiter des Forschungsbereichs Cyber-Physical Systems am Deutschen Forschungszentrum ...
Moderne See- und Binnenhäfen werden zunehmend durch IT-Systeme gesteuert. Der reibungslose Informationsaustausch zwischen den Hafenakteuren ist dabei ...