Theses on the same topic (having an identical keyword):
state-space modelKeywords ordered alphabetically | Keywords ordered by occurrence rate
State space compression for the DiVinE model checker
(Vladimír Štill)2013, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/welgh/ | Informatika / Počítačové sítě a komunikace | Theses on a related topic
Outliers and structural breaks in time series using state space models and indicator saturation approach
(Zuzana Leová)2017, Diplomová práce, Vysoká škola ekonomická v Praze
• http://www.vse.cz/vskp/eid/75218 | Kvantitativní metody v ekonomice / Ekonometrie a operační výzkum | Theses on a related topic
State-space Control Design and Realization
(Bharath Chandrasekar)2020, Diplomová práce, Fakulta strojní / VŠB – Technická univerzita Ostrava
• http://hdl.handle.net/10084/142175 | Mechatronika / | Theses on a related topic
Distributed State Space Reductions
(Pavel Moravec)2008, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/i7wzw/ | Informatika (čtyřleté) / Informatika | Theses on a related topic
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 | Theses on a related topic
Partial Order Reduction in Parallel Model Checking
(Petr Ročkai)2010, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/p04i0/ | Informatika / Paralelní a distribuované systémy | Theses on a related topic
Reduction and Abstraction Techniques for Model Checking
(Radek Pelánek)2006, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/xrsgd/ | Informatika / | Theses on a related topic
Model Checking Software
(Petr Ročkai)2011, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/d966p/ | Informatika / Paralelní a distribuované systémy | Theses on a related topic
Motifs in State Spaces
(Jan Krčál)2007, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/j5pv8/ | 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