Práce na stejné téma (mají shodná klíčová slova):
specification refinementKlíčová slova abecedně | Klíčová slova dle četnosti
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
Improving Quality of Content-Based Image Retrieval
(Petra Budíková)2010, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/jb8hu/ | Informatika / | Práce na příbuzné téma