ℹ️
🇨🇿
Hledání
Hledat publikace relevantní k dotazu "behavior"
behavior
Publikace
Předměty
Osoby
Publikace
Studium
publication
Behavior Java Checker
Publikace bez příslušnosti k fakultě
publication
Ověřování softwarových komponent s použitím Behavior Protocols a Spinu
2007 |
Matematicko-fyzikální fakulta
publication
Rozšíření Behavior protokolů
2006 |
Matematicko-fyzikální fakulta
publication
Rozšíření Behavior Protocols
+1
2007 |
Matematicko-fyzikální fakulta
publication
Nástroj pro ověřování behavior protokolů
+3
Publikace bez příslušnosti k fakultě
publication
Distribuovaný ověřovač Behavior protokolů
2006 |
Matematicko-fyzikální fakulta
publication
Distribuovaný ověřovač Behavior protokolů
+1
Publikace bez příslušnosti k fakultě
publication
Rozšíření Behavior protokolů o data a multisynchronizaci
Publikace bez příslušnosti k fakultě
publication
Model checking a redukce behavior protokolů
2006 |
Matematicko-fyzikální fakulta
publication
Behavior Protocoly: Řešení problému 'spearhead'
2006 |
Matematicko-fyzikální fakulta
publication
Verifikace softwarových komponent: O překladu Behavior protokolů do Promely
Publikace bez příslušnosti k fakultě
publication
Fishmanův koncept "behavior-toward-language" a koncepty příbuzné
Publikace bez příslušnosti k fakultě
publication
Fishmanův koncept 'behavior-toward-language' a koncepty příbuzné
Publikace bez příslušnosti k fakultě
publication
Model checking softwarových komponent: úprava Java PathFinder pro spolupráci s Behavior Protocol Checker
Publikace bez příslušnosti k fakultě
publication
Behavior assembly a skládání use case - UML 2.0 perspektiva
2005 |
Matematicko-fyzikální fakulta
publication
Antisociální chování dospívajících a jeho souvislosti s kvalitou školního prostředí
2006 |
2. lékařská fakulta
publication
Pilotní testování struktury české verze dotazníku Coaching behavior assessment questionnaire
2012 |
Fakulta tělesné výchovy a sportu
publication
Model checking softwarových komponent: kombinace Java PathFinder a Behavior Protocol model checker
+2
2007 |
Matematicko-fyzikální fakulta
publication
Marieke de Mooij: Consumer behavior and culture
2004 |
Filozofická fakulta
publication
Cooperative behavior and economic growth
Publikace bez příslušnosti k fakultě
publication
Extrakce modelu interakce mezi komponentou a prostředím pomocí průchodu stavovým prostorem
2010 |
Matematicko-fyzikální fakulta
publication
Slicing specifikace chování komponent vzhledem k jejich kompozici
2007 |
Matematicko-fyzikální fakulta
publication
Kontraproduktivní pracovní chování
2006 |
Filozofická fakulta