Theses on the same topic (having an identical keyword):
Keywords ordered alphabetically | Keywords ordered by occurrence rate
Modelové řešení aplikace klient-server využívající GraphQL
(Ondřej Zicha)2018, Diplomová práce, Vysoká škola ekonomická v Praze
• http://www.vse.cz/vskp/eid/75139 | Aplikovaná informatika / Znalostní a webové technologie | Theses on a related topic
Verifikace CTL vlastností v nástroji DiVinE
(Šimon Vanický)2016, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/mh9a9/ | Informatika / Teoretická informatika | Theses on a related topic
Verifikace MPI programů pomocí DIVINE
(Marek Tomáštík)2016, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/bu4gt/ | Informatika / Paralelní a distribuované systémy | Theses on a related topic
Porovnání nástrojů pro paralelní LTL model checking
(Marek Tomáštík)2013, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/dk1b6/ | Informatika / Matematická informatika | Theses on a related topic
Relaxed Memory Models in DiVinE
(Vojtěch Havel)2012, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/yrkfl/ | Informatika / Paralelní a distribuované systémy | Theses on a related topic
DiVinE - Prostředí pro distribuovanou verifikaci
(Pavel Šimeček)2006, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/ze1rj/ | Informatika / | Theses on a related topic
Graficke rozhraní pro komunikaci s nástrojem DiVinE
(Vojtěch Forejt)2006, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/lluk1/ | Informatika / | Theses on a related topic
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 | Theses on a related topic
GPU Accelerated Enumerative Model Checking
(Milan Češka)2009, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/dlvdw/ | Informatika / | Theses on a related topic
GUI pro zadávání hypotéz v hybridní logice
(Oto Fargaš)2020, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/j2osi/ | Aplikovaná informatika / | Theses on a related topic