ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "Model Checking"
Model Checking
Osoba
Předměty
Osoby
Publikace
Studium
RNDr. Tomáš Kalibera Ph.D.
Externí akademický pracovník na Matematicko-fyzikální fakulta
28 publikací
Publikace
publication
Systematické testování kritických aplikací reálného času v Javě
2010 |
Matematicko-fyzikální fakulta
publication
Automatická konstrukce přiměřeného prostředí pro Java komponenty
2009 |
Matematicko-fyzikální fakulta
publication
A Family of Real-time Java Benchmarks
2011 |
Matematicko-fyzikální fakulta
publication
Replicating Real-Time Garbage Collector
2011 |
Matematicko-fyzikální fakulta
publication
Efektivní detekce chyb v Java komponentách s použitím náhodného prostředí a restartů
2010 |
Matematicko-fyzikální fakulta
publication
Modelové úlohy pro verifikaci systémů reálného času
2010 |
Matematicko-fyzikální fakulta
publication
Kritické aplikace reálného času v Javě
2010 |
Matematicko-fyzikální fakulta
publication
Přesná automatická správa paměti v prostředích bez kontroly nad zásobníkem
2009 |
Matematicko-fyzikální fakulta
publication
Real-time Java ve vesmíru: Potenciální výhody a otevřené problémy
2009 |
Matematicko-fyzikální fakulta
publication
Přesné měření výkonnosti při náhodných jevech: zpřesňování výsledků měření výkonnosti projektu Mono.
+1
2006 |
Matematicko-fyzikální fakulta
Načíst další publikace (18)
Loading network view...