Práce na stejné téma (mají shodná klíčová slova):
ctlKlíčová slova abecedně | Klíčová slova dle četnosti
CTL Model Checking for Petri Nets and the Arithmetical Hierarchy
(Jan Mačák)2023, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/k7ygm/ | Teoretická informatika / Principy programovacích jazyků | Práce na příbuzné téma
The satisfiability problem for Probabilistic CTL
(Chodil Chodil)2022, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/flkcr/ | Teoretická informatika / | Práce na příbuzné téma
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
Škálovatelná syntéza parametrů pro hypotézy formulované v logice CTL
(Samuel Pastva)2015, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/eby8h/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
Verifikace CTL vlastností v nástroji DiVinE
(Šimon Vanický)2016, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/mh9a9/ | Informatika / Teoretická informatika | Práce na příbuzné téma
Evaluace zatížení svalů předloktí při nácviku na simulátoru CTL technologie v závislosti na lateralitě
(Martin Šiška)2021, Bakalářská práce, Fakulta lesnická a dřevařská / Česká zemědělská univerzita v Praze
• http://theses.cz/id//scl1ht// | Lesnictví / | Práce na příbuzné téma
Analýza zátěže křížových a bederních svalů při nácviku ovládání CTL technologie na simulátoru s ohledem na délku nácviku
(Jonáš Krejčiřík)2022, Bakalářská práce, Fakulta lesnická a dřevařská / Česká zemědělská univerzita v Praze
• http://theses.cz/id//eaa5zl// | Lesnictví / | Práce na příbuzné téma
Grafická reprezentace formulí logiky CTL
(Alena Goljerová)2014, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/b8kxm/ | Aplikovaná informatika / | Práce na příbuzné téma
Analýza zátěže specifických svalových skupin u studentů při nácviku ovládání CTL technologie
(Gabriela Baďurová)2018, Diplomová práce, Fakulta lesnická a dřevařská / Česká zemědělská univerzita v Praze
• http://theses.cz/id//b5kili// | Inženýrská ekologie / Ochrana přírody | Práce na příbuzné téma
Analýza zátěže křížových a bederních svalů u studentů při nácviku ovládání CTL technologie
(Markéta Daňhová)2019, Bakalářská práce, Fakulta lesnická a dřevařská / Česká zemědělská univerzita v Praze
• http://theses.cz/id//i2z78l// | Lesnictví / | Práce na příbuzné téma