Theses on the same topic (having an identical keyword):
overovanie modeluKeywords 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
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