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
- Rozšíření Behavior Protocols +12007 | Matematicko-fyzikální fakulta
- Model Checking of Component Behavior Specification: A Real Life Experience2005 | Matematicko-fyzikální fakulta, Ústřední knihovna
- Slicito: Using Computational Notebooks for Program Comprehension2023 | Matematicko-fyzikální fakulta
- Using linear algebra in decomposition of Farkas interpolants2022 | Matematicko-fyzikální fakulta
- A guide to design uncertainty-aware self-adaptive components in Cyber-Physical Systems2022 | Matematicko-fyzikální fakulta
- Using Procedure Cloning for Performance Optimization of Compiled Dynamic Languages2022 | Matematicko-fyzikální fakulta
- PeachPie: Mature PHP to CLI Compiler2022 | Matematicko-fyzikální fakulta
- Summarization of branching loops2022 | Matematicko-fyzikální fakulta
- Targeting uncertainty in smart CPS by confidence-based logic2021 | Matematicko-fyzikální fakulta, Ústřední knihovna
- Handling Heap Data Structures in Backward Symbolic Execution2020 | Matematicko-fyzikální fakulta
Loading network view...