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

linearni temporalni logika, distribuovany algoritmus, ltl vlastnosti modelu

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
Tůmová, Jana
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Paralelní ověřování kvalitativních vlastností pravděpodobnostních modelů | Theses on a related topic Display description

2.
Češka, Milan
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: LTL ověřování pravděpodobnostních modelů v prostředí s distribuovanou pamětí | Theses on a related topic

3.
Chaloupka, Jakub
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Distribuované algoritmy pro hledání cyklu s minimální průměrnou délkou hrany | Theses on a related topic

4.
Malá, Karolína
Faculty: Faculty of Science
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Algebra and Discrete Mathematics
Master's thesis defence: Algebraický přístup k lineární temporální logice | Theses on a related topic

5.
Mařica, Lukáš
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Grafické rozhraní nástroje pro řízení robotických systémů | Theses on a related topic

6.
Micheľová, Henrieta
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Distribuované algoritmy pro rekonfiguraci platformy RoFI | Theses on a related topic

7.
Němeček, David
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Paralelní implementace algoritmu dekomprese silového pole | Theses on a related topic

8.
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

9.
Rabušic, Miroslav
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Systems
Master's thesis defence: Interaktivní animační prostředí pro ilustraci distribuovaných algoritmů | Theses on a related topic

10.
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

11.
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