ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "Promela"
Promela
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
EBP Checker
Publikace bez příslušnosti k fakultě
publication
Pattern-Based Verification for Multithreaded Programs
2014 |
Matematicko-fyzikální fakulta
publication
Threaded Behavior Protocols
2013 |
Matematicko-fyzikální fakulta
publication
Strengthening Component Architectures by Modeling Fine-Grained Entities
2011 |
Matematicko-fyzikální fakulta
publication
Level-of detail AI pro veliké virutální světy
2010 |
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
Načíst další publikace (12)
Loading network view...