Theses on the same topic (having an identical keyword):
formal methodsKeywords ordered alphabetically | Keywords ordered by occurrence rate
Formal Methods for Model Selection in Systems Biology
(Matej Hajnal)2018, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/xv1cr/ | Aplikovaná informatika / Bioinformatika | Theses on a related topic
Exploration of formal methods and their applicability in verification of multiprecision arithmetic libraries
(Himanshu Kumar Haran)2017, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/iqqhj/ | Informatika / Bezpečnost informačních technologií (angl.) | Theses on a related topic
Automata for Formal Methods: Little Steps Towards Perfection
(František Blahoudek)2018, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/gwriw/ | Informatika (čtyřleté) / Informatika | Theses on a related topic
Formal Methods in Optimal Discrete Path Planning with Uncertainty
(Mária Svoreňová)2013, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/oaqti/ | Informatika / | Theses on a related topic
Quantitative Formal Methods for High-level Robot Path Planning
(Jana Tůmová)2013, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/e7447/ | Informatika (čtyřleté) / Informatika | Theses on a related topic
Formal representation of graphical models of biological systems
(Samuel Kulíšek)2021, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/nm01y/ | Aplikovaná informatika / | Theses on a related topic
Paritní hry
(Adam Tuček)2019, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/vfh4f/ | Informatika / Teoretická informatika | Theses on a related topic