Práce na stejné téma (mají shodná klíčová slova):
uppaalKlíčová slova abecedně | Klíčová slova dle četnosti
Hledání řídicích strategií pomocí UPPAAL STRATEGO
(Filip Hruška)2020, Bakalářská práce, Vysoké učení technické v Brně
• http://theses.cz/id//2zsvo5// | Informační technologie / | Práce na příbuzné téma
Překlad XTR výstupu nástroje UPPAAL do uživatelsky přívětivé reprezentace
(Antonín Mazánek)2020, Diplomová práce, Vysoké učení technické v Brně
• http://theses.cz/id//jn32bu// | Informační technologie / | Práce na příbuzné téma
Analýza dopadu strategií řešení problémů pomocí UPPAAL STRATEGO
(Filip Karásek)2024, Bakalářská práce, Vysoké učení technické v Brně
• http://theses.cz/id//clw7eq// | Informační technologie / | Práce na příbuzné téma
Model úloh s omezeními a mechanismů jejich plánování v UPPAAL SMC
(Filip Palúch)2016, Bakalářská práce, Vysoké učení technické v Brně
• http://theses.cz/id//cimr5g// | Informační technologie / | Práce na příbuzné téma
Untimed LTL Model Checking of Timed Automata
(Jan Havlíček)2013, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/mohwa/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
Simulátor pro modelovací jazyk nástroje DiVinE
(Martin Moráček)2010, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/teyty/ | Informatika / | Práce na příbuzné téma