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 …
Festveranstaltung und Symposium anlässlich der Akademischen Übergabe des Vorsitzes der DFKI-Geschäftsführung und des Lehrstuhls von Prof. Wahlster an …