Publikace
- Ověřování relačně-omezené komunikace mezi webovými službami2008 | 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ě
- Automatická konstrukce přiměřeného prostředí pro Java komponenty2009 | Matematicko-fyzikální fakulta
- Komponentový framework pro kosmický on-board software2008 | Matematicko-fyzikální fakulta
- Perspectives in Component-based Software Engineering2008 | Matematicko-fyzikální fakulta
- Carmen : Software Component Model Checker2008 | 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
- Ř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
Loading network view...