Práce na stejné téma (mají shodná klíčová slova):
automaticka verifikaciaKlíčová slova abecedně | Klíčová slova dle četnosti
LTL atraktory
(Peter Bezděk)2009, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/qjn7v/ | Informatika / | Práce na příbuzné téma
Compiling Applications for Analysis with DIVINE
(Zuzana Baranová)2019, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/wsm31/ | Aplikovaná informatika / | Práce na příbuzné téma
Multimodal Landmark Detection for Anthropology
(Zuzana Ferková)2020, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/cfz8y/ | Informatika / Fundamenty informatiky | Práce na příbuzné téma