Das BMBF-geförderte Verbundprojekt „Ressourceneffiziente Datentreuhänder mit verschlüsselten Datensätzen für die Forschung“ (DaTreFo) erforscht und ...
Vor Markteinführung müssen Computersysteme auf ihre Korrektheit überprüft werden. Eine vollständige Verifikation ist aufgrund der Komplexität heutiger ...
Das Safety-Konzept in der Produktion zielt darauf ab, den Menschen vor Risiken zu schützen. Mit zunehmend komplexeren, modularen Industrie 4.0-Anlagen ...
Im Rahmen der Eröffnungsfeier der „International Conference on Infocom Technologies and Unmanned Systems (ICTUS 2017)“ in Dubai, 18. bis 20. Dezember ...