Práce na stejné téma (mají shodná klíčová slova):
state-space modelKlíčová slova abecedně | Klíčová slova dle četnosti
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 | Práce na příbuzné téma
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 | Práce na příbuzné téma
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 / | Práce na příbuzné téma
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 | 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
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 | Práce na příbuzné téma
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 / | Práce na příbuzné téma
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 | Práce na příbuzné téma
Motifs in State Spaces
(Jan Krčál)2007, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/j5pv8/ | 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