Publikace
- Pattern-Based Verification for Multithreaded Programs2014 | Matematicko-fyzikální fakulta
- Threaded Behavior Protocols2013 | Matematicko-fyzikální fakulta
- Strengthening Component Architectures by Modeling Fine-Grained Entities2011 | Matematicko-fyzikální fakulta
- Level-of detail AI pro veliké virutální světy2010 | Matematicko-fyzikální fakulta
- Extrakce specifikace chování komponent v nasazených aplikacích2009 | Matematicko-fyzikální fakulta
- TBP: Na kód orientovaný formalismus pro specifikaci chování komponent2009 | Matematicko-fyzikální fakulta
- Komponenty ve formě: SPINing2009 | Matematicko-fyzikální fakulta
- CoCoME v komponentovém modelu SOFA +12008 | Matematicko-fyzikální fakulta
- CoCoME in Fractal2008 | Matematicko-fyzikální fakulta
- Hledání vhodného poměru mezi předgenerovanou a za běhu generovanou částí stavového prostoru2008 | Matematicko-fyzikální fakulta
Loading network view...