Theses on a related topic (having the same keywords):

casovy automat, pravdepodobnostni casovy automat, markovovy modely, casove a pravdepodobnostni temporalni logiky, overovani modelu

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
Frnoch, Vojtěch
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Grafické rozhraní pro simulátor C++ programů | Theses on a related topic Display description

2.
Janoušek, Tomáš
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Návrh modelovacího jazyka nástroje DiVinE | Theses on a related topic

3.
Krejčí, Denisa maiden name: Malúšková
Faculty: Faculty of Science
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Biology / Mathematical Biology
Master's thesis defence: Vícestavové modely v onkologii a hemato-onkologii | Theses on a related topic

4.
Křivánek, Milan
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Verifikační nástroj pro komponentové systémy | Theses on a related topic

5.
Kučera, Tadeáš
Faculty: Faculty of Science
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Mathematics with Informatics
Master's thesis defence: API pro monitorování chování programů v kontextu nástroje DIVINE | Theses on a related topic

6.
Lapáček, Vladimír
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: DiVinE - modul pro swapování stavů do sítě

7.
Matoušek, Adam
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Metadata paměti programu v nástroji DIVINE | Theses on a related topic

8.
Moravec, Pavel
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Distributed State Space Reductions | Theses on a related topic

9.
Novotný, Jaroslav
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Automatická detekce chyb v programech | Theses on a related topic

10.
Pejznoch, Aleš
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Bioinformatics
Master's thesis defence: Syntéza parametrů pro sigmoidální kinetické modely | Theses on a related topic
Master's thesis defence: Syntéza parametrů pro sigmoidální kinetické modely | Theses on a related topic

11.
Plotěný, Ondřej
Faculty: Faculty of Informatics
Year: 2008, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Vytvoření modelu výtahů se sběrným řízením | Theses on a related topic

12.
Plotěný, Ondřej
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Vytvoření modelu výtahů se sběrným řízením | Theses on a related topic

13.
Rosecký, Václav
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Verifikační manažer pro explicitní ověřování modelu | Theses on a related topic

14.
Rujbr, Vojtěch
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Vliv specifikačních automatů na ověřování modelu | Theses on a related topic

15.
Svoreňová, Mária
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Formal Methods in Optimal Discrete Path Planning with Uncertainty | Theses on a related topic

16.
Šmérek, Martin
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Spravedlnost a ověřování vlastností protokolů pro vzájemné vyloučení | Theses on a related topic

17.
Tuček, Adam
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Grafická reprezentace specifikačních vzorů pro temporální logiky | Theses on a related topic

18.
Weiser, Jiří
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Dynamicky rostoucí sdílená hašovací tabulka pro DiVinE | Theses on a related topic

19.
Zhuk, Marharyta
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Modelování a verifikace platebního systému | Theses on a related topic

20.
Žák, Martin
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Coloured Nested DFS | Theses on a related topic