Publikace
- Ověřování relačně-omezené komunikace mezi webovými službami2008 | Matematicko-fyzikální fakulta
- Verifikace softwarovych komponent: Neomezeny paralelismus2007 | Matematicko-fyzikální fakulta
- Kompozice chování v komponentových systémech2006 | 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
- Static Analysis of Component Systems Using Behavior Protocols2003 | Matematicko-fyzikální fakulta
- Behavior Protocols Capturing Errors and Updates2003 | Matematicko-fyzikální fakulta
- Modelování a verifikace relačně-orientovaných interakcí mezi webovými službami: kompatibilita BPEL a relačních protokolůPublikace bez příslušnosti k fakultě
Loading network view...