SWT-CPS-M (Cyber-Physical Systems) - Discrete & Timed Automata
SWT-PR1/2-M: SWT Masters Project in Software Systems Science