Práce na stejné téma (mají shodná klíčová slova):
Klíčová slova abecedně | Klíčová slova dle četnosti
Verifikační nástroj pro komponentové systémy
(Milan Křivánek)2011, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/r2ry1/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
Ověřování interaktivních vlastností komponentových systémů
(Nikola Beneš)2007, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/rrrgz/ | Informatika / | Práce na příbuzné téma
Verifikační nástroj pro komponentové systémy
(Milan Křivánek)2011, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/r2ry1/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
Grafické prostředí pro modelování pomocí automatů
(Milan Křivánek)2008, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/c4nqe/ | Informatika / | Práce na příbuzné téma
Proměny environmentální ideologie ve veřejném prostoru
(Michal Bartoš)2008, Disertační práce, Fakulta sociálních studií / Masarykova univerzita
• https://is.muni.cz/th/qxm7d/ | Sociologie / Humanitní environmentalistika | Práce na příbuzné téma
Verifikační nástroj pro komponentové systémy
(Milan Křivánek)2011, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/r2ry1/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
Partial Order Reduction in Parallel Model Checking
(Petr Ročkai)2010, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/p04i0/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
Partial Order redukce pro LLVM
(Jan Tušil)2015, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/f18pq/ | Informatika / Programovatelné technické struktury | Práce na příbuzné téma
Refined Büchi automata for faster model checking
(Vojtěch Rujbr)2016, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/nanqw/ | Aplikovaná informatika / | Práce na příbuzné téma
Automating Software Development with Explicit Model Checking
(Petr Bauch)2015, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/o3wbz/ | Informatika (čtyřleté) / Počítačové systémy a technologie | Práce na příbuzné téma