| Studijní materiál | Od ak. roku | Jazyk | Typ souboru | Velikost |
|---|---|---|---|---|
| Prezentace k přednáškám | 2023/2024 | česky | zip | 1 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 |