| Type | Author and work title | Supervisor | Year | prog | disc |
|---|---|---|---|---|---|
| BP | Konstantin Khokhlov: Failure prediction for Model-Based Integration Testing (PDF) | Krejčí Lukáš | 2020 | KYR | |
| BP | Matěj Šťastna: Design and implementation of simulation algorithm for timed automata networks (PDF) | Krejčí Lukáš | 2021 | KYR |
diploma
DEBUG: found in cache: