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, Projektass. Dipl.Ing. Ramin MOHAMMAD HASANI
2019S 4.0 CPS
191106 VU
Runtime Verification
Univ.Prof. Dr. Ezio BARTOCCI, Univ.Lektor Dr. Nickovic DEJAN
2019S 2.0 CPS

View list of courses in TISS: german english