Práce na stejné téma (mají shodná klíčová slova):

uppaal

Klíč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

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

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

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