SWT-CPS-M (Cyber-Physical Systems) - Discrete & Timed Automata
SWT-CPS-M (Cyber-Physical Systems) - Hybrid Automata
SWT-PR1/2-M: SWT Masters Project in Software Systems Science
SWT-SEM-M: Seminar Software Engineering and Programming Languages