courses at the Cyber-Physical Systems Group

Course Nr Type Title and Lector Semester Hours Division
182764 VU
Logical Foundations of Cyber-Physical Systems
Univ.Prof. Dipl.-Ing. Dr.rer.nat. Radu GROSU, Univ.Ass. Elahe GHALEBI, Univ.Ass. Dipl.-Ing. BSc Denise RATASICH
2018S 4.0 CPS
191106 VU
Runtime Verification
Univ.Prof. Dr. Ezio BARTOCCI, Univ.Lektor Dr. Nickovic DEJAN
2018S 2.0 CPS

View list of courses in TISS: german english