Theses on the same topic (having an identical keyword):

overovanie modelu

Keywords ordered alphabetically | Keywords ordered by occurrence rate

Verification of Name Service Cache Daemon with DIVINE Model Checker
 (Milan Lenčo)

2015, Diplomová práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/bd1wv/ | Informatika / Paralelní a distribuované systémy | Theses on a related topic

List of theses with an identical keyword.

Záznam k procesu nutričnej starostlivosti a jeho aplikácia, overovanie a testovanie v praxi
 (Silvia Janovská)

2019, Bakalářská práce, Lékařská fakulta / Masarykova univerzita

• https://is.muni.cz/th/eu2mc/ | Specializace ve zdravotnictví / Nutriční terapeut | Theses on a related topic

Translation of LTL to omega-automata
 (Tomáš Babiak)

2011, Rigorózní práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/zwfv1/ | Informatika / Paralelní a distribuované systémy | Theses on a related topic

Symbolic Model Checking via Program Transformations
 (Henrich Lauko)

2017, Diplomová práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/owq0x/ | Informatika / Paralelní a distribuované systémy | Theses on a related topic

Efficient solvability of graph MSO properties
 (Jakub Gajarský)

2012, Diplomová práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/w6sin/ | Informatika / Teoretická informatika | Theses on a related topic