Práce na stejné téma (mají shodná klíčová slova):
stavovy modelKlíč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 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í | 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
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 | 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
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
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
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 / | 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