Home

Publications

Teaching

Links

CV

Contacts

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)

Advanced programming for Java platform lab (NPRG021)