AY 2018/19 (National Institute of Informatics)
Formal Methods for Cyber-Physical Systems - Module on Model-based testing
AY 2017/18 (Charles University)
Model-based testing (NSWI157)
Java lab (NPRG013)
AY 2016/17 (Charles University)
Model-based testing (NSWI157)
Java lab (NPRG013)
Advanced programming for Java platform lab (NPRG021)
AY 2015/16 (Charles University)
Model-based testing (NSWI157)
Java lab (NPRG013)