- Behavior Java CheckerPublikace bez příslušnosti k fakultě
- Ověřování softwarových komponent s použitím Behavior Protocols a Spinu2007 | Matematicko-fyzikální fakulta
- Rozšíření Behavior protokolů2006 | Matematicko-fyzikální fakulta
- Rozšíření Behavior Protocols +12007 | Matematicko-fyzikální fakulta
- Nástroj pro ověřování behavior protokolů +3Publikace bez příslušnosti k fakultě
- Distribuovaný ověřovač Behavior protokolů2006 | Matematicko-fyzikální fakulta
- Distribuovaný ověřovač Behavior protokolů +1Publikace bez příslušnosti k fakultě
- Rozšíření Behavior protokolů o data a multisynchronizaciPublikace bez příslušnosti k fakultě
- Model checking a redukce behavior protokolů2006 | Matematicko-fyzikální fakulta
- Behavior Protocoly: Řešení problému 'spearhead'2006 | Matematicko-fyzikální fakulta
- Verifikace softwarových komponent: O překladu Behavior protokolů do PromelyPublikace bez příslušnosti k fakultě
- Fishmanův koncept "behavior-toward-language" a koncepty příbuznéPublikace bez příslušnosti k fakultě
- Fishmanův koncept 'behavior-toward-language' a koncepty příbuznéPublikace bez příslušnosti k fakultě
- Model checking softwarových komponent: úprava Java PathFinder pro spolupráci s Behavior Protocol CheckerPublikace bez příslušnosti k fakultě
- Behavior assembly a skládání use case - UML 2.0 perspektiva2005 | Matematicko-fyzikální fakulta
- Antisociální chování dospívajících a jeho souvislosti s kvalitou školního prostředí2006 | 2. lékařská fakulta
- Pilotní testování struktury české verze dotazníku Coaching behavior assessment questionnaire2012 | Fakulta tělesné výchovy a sportu
- Model checking softwarových komponent: kombinace Java PathFinder a Behavior Protocol model checker +22007 | Matematicko-fyzikální fakulta
- Marieke de Mooij: Consumer behavior and culture2004 | Filozofická fakulta
- Cooperative behavior and economic growthPublikace bez příslušnosti k fakultě
- Extrakce modelu interakce mezi komponentou a prostředím pomocí průchodu stavovým prostorem2010 | Matematicko-fyzikální fakulta
- Slicing specifikace chování komponent vzhledem k jejich kompozici2007 | Matematicko-fyzikální fakulta
- Kontraproduktivní pracovní chování2006 | Filozofická fakulta