ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "identified"
identified
Osoba
Předměty
Osoby
Publikace
Studium
RNDr. Viliam Holub
Externí osoba na Matematicko-fyzikální fakulta
13 publikací
Publikace
publication
Konstrukce reprezentačních stavů v Interfering automata
2007 |
Matematicko-fyzikální fakulta
publication
Výuka operačních systémů: semestrální práce z perspektivy softwarového inženýství
2008 |
Matematicko-fyzikální fakulta
publication
Řetězení stavového prostoru: nová metoda distribuované verifikace
+1
2007 |
Matematicko-fyzikální fakulta
publication
Implementace LFS pro Linux s Garbage Collectorem
2007 |
Matematicko-fyzikální fakulta
publication
Redukce růstu počtu stavů v protokolech komponent
2007 |
Matematicko-fyzikální fakulta
publication
Redukce specifikace komponentových systémů
2007 |
Matematicko-fyzikální fakulta
publication
Závislosti mezi stavy v Interfering automata
2006 |
Matematicko-fyzikální fakulta
publication
Výjimky v komponentových interakčních protokolech - nutnost
2006 |
Matematicko-fyzikální fakulta
publication
Enhancing Behavior Protocols with Exceptions
2005 |
Matematicko-fyzikální fakulta
publication
Rozšíření protokolů chování o podporu vyjímek
2005 |
Matematicko-fyzikální fakulta
Načíst další publikace (3)
Loading network view...