Práce na stejné téma (mají shodná klíčová slova):
coloured model checkingKlíčová slova abecedně | Klíčová slova dle četnosti
Symbolic Model Checking of Hybrid CTL
(Ondřej Huvar)2022, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/zrf3h/ | Informatika / | Práce na příbuzné téma
Coloured Nested DFS
(Martin Žák)2016, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/p4teq/ | Aplikovaná informatika / | Práce na příbuzné téma