Práce na stejné téma (mají shodná klíčová slova):
Klíčová slova abecedně | Klíčová slova dle četnosti
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 | Práce na příbuzné téma
Untimed LTL Model Checking of Timed Automata
(Jan Havlíček)2013, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/mohwa/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
LLVM Transformations for Model Checking
(Vladimír Štill)2016, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/buw8x/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
Designing Data-Parallel Graph Algorithms for Model Checking
(Milan Češka)2012, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/v5ksv/ | Informatika (čtyřleté) / Informatika | Práce na příbuzné téma
Verifikace protokolu AMQP
(Barbora Vaššová)2015, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/ook9k/ | Informatika / Počítačové sítě a komunikace | Práce na příbuzné téma