Práce na stejné téma (mají shodná klíčová slova):
stavovy model systemuKlíčová slova abecedně | Klíčová slova dle četnosti
Designing Data-Parallel Graph Algorithms for Model Checking
(Milan Češka)2012, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/v5ksv/ | Informatika (čtyřleté) / Informatika | Práce na příbuzné téma
Aplikace metody Model Based Design při řízení mechatronického systému
(Jan Milata)2022, Diplomová práce, Fakulta strojní / VŠB – Technická univerzita Ostrava
• http://hdl.handle.net/10084/148150 | Mechatronika / | Práce na příbuzné téma
Model checking nekonečně stavových systémů založený na inferenci jazyků
(Pavel Rozehnal)2016, Diplomová práce, Vysoké učení technické v Brně
• http://theses.cz/id//lc088j// | Informační technologie / | Práce na příbuzné téma
Model Checking of Control-User Systems
(Pavlína Moravcová Vařeková)2009, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/sntlw/ | Informatika (čtyřleté) / Informatika | Práce na příbuzné téma
Model Checking Software
(Petr Ročkai)2015, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/tpopu/ | Informatika (čtyřleté) / Počítačové systémy a technologie | Práce na příbuzné téma
Basic model-checking problems for stochastic games
(Václav Brožek)2008, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/gg6sx/ | Informatika / | Práce na příbuzné téma
Návrh a ověření řídicích algoritmů s omezením pro laboratorní model tepelné soustavy
(Lukáš Rušar)2014, Diplomová práce, Fakulta aplikované informatiky / Univerzita Tomáše Bati ve Zlíně
• http://theses.cz/id//7hekhk// | Inženýrská informatika / Automatické řízení a informatika | Práce na příbuzné téma
External Memory LTL Model Checking
(Pavel Šimeček)2009, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/kcnmv/ | Informatika (čtyřleté) / Informatika | Práce na příbuzné téma
Efficient Computing Resources Usage in Model Checking
(Pavel Šimeček)2008, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/e3yhy/ | 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