Práce na stejné téma (mají shodná klíčová slova):
GUIKlíčová slova abecedně | Klíčová slova dle četnosti
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 | Práce na příbuzné téma
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 | Práce na příbuzné téma
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 | Práce na příbuzné téma
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 | Práce na příbuzné téma
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 | Práce na příbuzné téma
DiVinE - Prostředí pro distribuovanou verifikaci
(Pavel Šimeček)2006, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/ze1rj/ | Informatika / | Práce na příbuzné téma
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 / | 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
GPU Accelerated Enumerative Model Checking
(Milan Češka)2009, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/dlvdw/ | Informatika / | Práce na příbuzné téma
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 / | Práce na příbuzné téma