| Studijní materiál | Od ak. roku | Jazyk | Typ souboru | Velikost |
|---|---|---|---|---|
| Slides for Lectures | 2023/2024 | english | zip | 2 MiB |
| Assignments for Tutorials | 2023/2024 | english | zip | 275 KiB |
| Study Text (part of book, officially available on-line) | 2023/2024 | english | 927 KiB | |
| Tutorial on Tool Uppaal, teoretical part can be used as study text on timed automata | 2023/2024 | english | 752 KiB |