Theses on the same topic (having an identical keyword):
tgbaKeywords ordered alphabetically | Keywords ordered by occurrence rate
Redukcie TGBA pomocou pokročilých simulácií
(Tatiana Zbončáková)2021, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/mfeaf/ | Aplikovaná informatika / | Theses on a related topic
API pro monitorování chování programů v kontextu nástroje DIVINE
(Tadeáš Kučera)2019, Diplomová práce, Přírodovědecká fakulta / Masarykova univerzita
• https://is.muni.cz/th/ay7v9/ | Matematika / Matematika s informatikou | Theses on a related topic
Reduction of Omega-Automata Using k-Lookahead Simulations
(Miriama Sasaráková)2018, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/z3yok/ | Informatika / Počítačové systémy a zpracování dat | Theses on a related topic
Zjednodušování akceptační podmínky u Emerson-Lei automatů
(Tereza Šťastná)2019, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/eq9bp/ | Aplikovaná informatika / | Theses on a related topic
Redukce omega-automatů s využitím Emerson-Lei akceptační podmínky
(Tatiana Zbončáková)2018, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/hz78t/ | Aplikovaná informatika / | Theses on a related topic