ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "protocol"
protocol
Osoba
Předměty
Osoby
Publikace
Studium
Exportovat aktuální pohled
RNDr. Tomáš Poch Ph.D.
Externí akademický pracovník na Matematicko-fyzikální fakulta
22 publikací
Publikace
publication
Threaded Behavior Protocols
2013 |
Matematicko-fyzikální fakulta
publication
Extrakce specifikace chování komponent v nasazených aplikacích
2009 |
Matematicko-fyzikální fakulta
publication
TBP: Na kód orientovaný formalismus pro specifikaci chování komponent
2009 |
Matematicko-fyzikální fakulta
publication
Komponenty ve formě: SPINing
2009 |
Matematicko-fyzikální fakulta
publication
CoCoME v komponentovém modelu SOFA
+1
2008 |
Matematicko-fyzikální fakulta
publication
CoCoME in Fractal
2008 |
Matematicko-fyzikální fakulta
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
EBP Checker
Publikace bez příslušnosti k fakultě
publication
Pattern-Based Verification for Multithreaded Programs
2014 |
Matematicko-fyzikální fakulta
Načíst další publikace (12)
Loading network view...