Theses on the same topic (having an identical keyword):
stavovy modelKeywords ordered alphabetically | Keywords ordered by occurrence rate
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 | Theses on a related topic
Aplikace stavových diagramů pro model výtahu
(Filip Burian)2021, Bakalářská práce, Fakulta strojní / VŠB – Technická univerzita Ostrava
• http://hdl.handle.net/10084/144686 | Strojírenství / Aplikovaná informatika a řízení | Theses on a related topic
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 / | Theses on a related topic
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 | Theses on a related topic
Volatilita na finančních trzích pohledem modelů ve stavovém tvaru
(Alexander Slávik)2023, Diplomová práce, Přírodovědecká fakulta / Masarykova univerzita
• https://is.muni.cz/th/en11a/ | Aplikovaná matematika / Finanční a pojistná matematika | Theses on a related topic
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 / | Theses on a related topic
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 / | Theses on a related topic
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 / | Theses on a related topic
Monte Carlo identifikační strategie pro stavové modely
(Milan Papež)2018, Disertační práce, Vysoké učení technické v Brně
• http://theses.cz/id//dmff35// | Elektrotechnika a komunikační technologie / | Theses on a related topic
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 | Theses on a related topic