Theses on the same topic (having an identical keyword):
Coloured Model CheckingKeywords ordered alphabetically | Keywords ordered by occurrence rate
Coloured Nested DFS
(Martin Žák)2016, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/p4teq/ | Aplikovaná informatika / | Theses on a related topic
Modul pro práci s distribuovanou cache pamětí do produktu Kentico
(Slavomír Moroz)2014, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/mjtxb/ | Aplikovaná informatika / | Theses on a related topic
Š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 | Theses on a related topic
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ů | Theses on a related topic
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 / | Theses on a related topic
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 / | Theses on a related topic
Š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 | Theses on a related topic
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 | Theses on a related topic
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í / | Theses on a related topic
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í / | Theses on a related topic