Předměty
- Programování mobilních zařízení +1NPRG056 | Matematicko-fyzikální fakulta
- Výběrový seminář z distribuovaných a komponentových systémů INSWI057 | Matematicko-fyzikální fakulta
- Výběrový seminář z distribuovaných a komponentových systémů IINSWI058 | Matematicko-fyzikální fakulta
- Modely a verifikace chování systémůNSWI101 | Matematicko-fyzikální fakulta
- Sémantika programůNSWI162 | Matematicko-fyzikální fakulta
Publikace
- Slicito: Using Computational Notebooks for Program Comprehension2023 | Matematicko-fyzikální fakulta
- Using linear algebra in decomposition of Farkas interpolants2022 | Matematicko-fyzikální fakulta
- A language and framework for dynamic component ensembles in smart systems2020 | Matematicko-fyzikální fakulta
- Decomposing Farkas Interpolants2019 | Matematicko-fyzikální fakulta
- AskTheCode: Interactive Call Graph Exploration for Error Fixing and Prevention2019 | Matematicko-fyzikální fakulta
- Exploiting partial variable assignment in interpolation-based model checking2019 | Matematicko-fyzikální fakulta
- On Interpolants and Variable Assignments2014 | Matematicko-fyzikální fakulta
- Advanced Debugging with JPF Inspector2011 | Matematicko-fyzikální fakulta
- Rozšíření Behavior Protocols +12007 | Matematicko-fyzikální fakulta
- A guide to design uncertainty-aware self-adaptive components in Cyber-Physical Systems2022 | Matematicko-fyzikální fakulta
Loading network view...