Práce na stejné téma (mají shodná klíčová slova):
Klíčová slova abecedně | Klíčová slova dle četnosti
Automating Software Development with Explicit Model Checking
(Petr Bauch)2015, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/o3wbz/ | Informatika (čtyřleté) / Počítačové systémy a technologie | Práce na příbuzné téma
Možnosti redukce výběrového zkreslení v ratingových modelech
(Josef Ditrich)2009, Disertační práce, Vysoká škola ekonomická v Praze
• http://www.vse.cz/vskp/eid/48289 | Kvantitativní metody v ekonomice / Statistika | Práce na příbuzné téma
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
Pevnostní výpočet unašeče kolové redukce nákladního automobilu
(Michal Peroutka)2011, Bakalářská práce, Fakulta strojní / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/88435 | Strojírenství / Aplikovaná mechanika | Práce na příbuzné téma