Předměty
- Modely a verifikace chování systémůNSWI101 | Matematicko-fyzikální fakulta
- Sémantika programůNSWI162 | Matematicko-fyzikální fakulta
- 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
Publikace
- Slicito: Using Computational Notebooks for Program Comprehension2023 | Matematicko-fyzikální fakulta
- Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin2018 | Matematicko-fyzikální fakulta
- On partial state matching2017 | Matematicko-fyzikální fakulta
- PVAIR: Partial Variable Assignment InterpolatoR2016 | Matematicko-fyzikální fakulta
- Framework for Static Analysis of PHP Applications2015 | Matematicko-fyzikální fakulta
- Tools for Ensemble Design and Runtime2015 | Matematicko-fyzikální fakulta
- WeVerca: Web Applications Verification for PHP2014 | Matematicko-fyzikální fakulta
- BeJC: Checking Compliance beetween Java Implementation and Behavior Specification2012 | Matematicko-fyzikální fakulta
- On Security Analysis of PHP Web Applications2012 | Matematicko-fyzikální fakulta
- Advanced Debugging with JPF Inspector2011 | Matematicko-fyzikální fakulta
Loading network view...
