Práce na stejné téma (mají shodná klíčová slova):
uvaznutiKlíčová slova abecedně | Klíčová slova dle četnosti
Statická analýza v nástroji Facebook Infer zaměřená na detekci uváznutí
(Vladimír Marcin)2019, Bakalářská práce, Vysoké učení technické v Brně
• http://theses.cz/id//y0zbr9// | Informační technologie / | Práce na příbuzné téma
Statická analýza v prostředí Frama-C zaměřená na detekci uváznutí
(Tomáš Dacík)2020, Bakalářská práce, Vysoké učení technické v Brně
• http://theses.cz/id//lxjawh// | Informační technologie / | Práce na příbuzné téma
Automatická detekce uváznutí v C
(Jan Kučera)2009, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/zz0cz/ | Informatika / Počítačové systémy | Práce na příbuzné téma
Realizability of Message Sequence Graphs
(Martin Chmelík)2011, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/v8qfl/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
Verification of Parallel Applications
(Ondřej Meca)2018, Disertační práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/137504 | Informatika, komunikační technologie a aplikovaná matematika / Informatika | Práce na příbuzné téma