Publikace
- Automatická konstrukce přiměřeného prostředí pro Java komponenty2009 | Matematicko-fyzikální fakulta
- Carmen : Software Component Model Checker2008 | Matematicko-fyzikální fakulta
- Verifikace softwarovych komponent: Neomezeny paralelismus2007 | Matematicko-fyzikální fakulta
- Řešení neomezeného paralelismu při verifikaci softwarových komponent2006 | Matematicko-fyzikální fakulta
- Component Composition Errors and Update Atomicity: Static Analysis2005 | Matematicko-fyzikální fakulta
- Behavior Assembly and Composition of Use Cases - UML 2.0 Perspective2005 | Matematicko-fyzikální fakulta
- Chyby skládání komponent a atomické aktualizace: Statická analýza2005 | Matematicko-fyzikální fakulta
- Behavior assembly a skládání use case - UML 2.0 perspektiva2005 | Matematicko-fyzikální fakulta
- Ověřování relačně-omezené komunikace mezi webovými službami2008 | Matematicko-fyzikální fakulta
- Komponentový framework pro kosmický on-board software2008 | Matematicko-fyzikální fakulta
Loading network view...