Publikace
- Řetězení stavového prostoru: nová metoda distribuované verifikace +12007 | Matematicko-fyzikální fakulta
- Výuka operačních systémů: semestrální práce z perspektivy softwarového inženýství2008 | Matematicko-fyzikální fakulta
- Implementace LFS pro Linux s Garbage Collectorem2007 | Matematicko-fyzikální fakulta
- Redukce růstu počtu stavů v protokolech komponent2007 | Matematicko-fyzikální fakulta
- Konstrukce reprezentačních stavů v Interfering automata2007 | Matematicko-fyzikální fakulta
- Redukce specifikace komponentových systémů2007 | Matematicko-fyzikální fakulta
- Závislosti mezi stavy v Interfering automata2006 | Matematicko-fyzikální fakulta
- Výjimky v komponentových interakčních protokolech - nutnost2006 | Matematicko-fyzikální fakulta
- Enhancing Behavior Protocols with Exceptions2005 | Matematicko-fyzikální fakulta
- Rozšíření protokolů chování o podporu vyjímek2005 | Matematicko-fyzikální fakulta
Loading network view...