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 ...
Die Deutsche Gesellschaft für Informatik (GI) veranstaltet jedes Jahr ein Symposium zu Datenbanksystemen für Wirtschaft, Technologie und Web (BTW). In ...
Aktuell steht das Thema Künstliche Intelligenz (KI) weltweit an der Spitze der politischen Agenda. Insbesondere die USA und China investieren stark in ...