| Study material | From academic year | Language | File type | Size |
|---|---|---|---|---|
| Prezentace k přednáškám | 2023/2024 | anglicky | zip | 2 MiB |
| Příklady na cvičení | 2023/2024 | anglicky | zip | 275 KiB |
| Výukový text (část knihy zveřejněná autory on-line) | 2023/2024 | anglicky | 927 KiB | |
| Tutoriál k nástroji Uppaal, teoretická část slouží jako studijní materiál pro oblast časovaných automatů | 2023/2024 | anglicky | 752 KiB |