University Duisburg-Essen
Verification of Complex Systems
Faculty of Computer Science
Orientation
Search
Studying at the UDE
Navigation
Home
Team
Research
Main Topics
Research Projects
Publications
Teaching
Courses
Steps for a Bachelor's or Master's Thesis
Thesis Topics
Contact
Courses
Verification of Complex Systems
Current lectures
WiSe 2026
Seminar "Verifikation komplexer Systeme"
Verifikation Eingebetteter und Cyber-Physischer Systeme
Upcoming lectures
No upcoming lectures.
Past lectures
(max. 10)
No past lectures.
