Práce na stejné téma (mají shodná klíčová slova):
model checkingKlíčová slova abecedně | Klíčová slova dle četnosti
Editor Petriho sítí
(Roman WEHMHŐNER)2019, Bakalářská práce, Přírodovědecká fakulta / UNIVERZITA PALACKÉHO V OLOMOUCI
• http://theses.cz/id//u6pgsv// | Informatika / Aplikovaná informatika | Práce na příbuzné téma
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
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