Práce na stejné téma (mají shodná klíčová slova):
model checkingKlíčová slova abecedně | Klíčová slova dle četnosti
Tvorba a správa scénářů pro testování komponentových aplikací
(Ondřej KOUBA)2013, Diplomová práce, Fakulta aplikovaných věd / ZÁPADOČESKÁ UNIVERZITA V PLZNI
• http://theses.cz/id//hx5uei// | Inženýrská informatika / Softwarové inženýrství | Práce na příbuzné téma
Deprese a psychodiagnostický význam indexu CDI v Rorschachově testu
(Tereza Poláková)2010, Diplomová práce, Filozofická fakulta / Masarykova univerzita
• https://is.muni.cz/th/rm47l/ | Psychologie / | Práce na příbuzné téma
Verifikace bezpečnostně kritických a bezpečnostních systémů kontroly a řízení metodou model checking a strukturálním testováním
(Tomáš AUSBERGER)2024, Disertační práce, Fakulta aplikovaných věd / ZÁPADOČESKÁ UNIVERZITA V PLZNI
• http://theses.cz/id//l43i7b// | Aplikované vědy a informatika / Kybernetika | Práce na příbuzné téma
Testování zabezpečení v sítích pro bezpečnostně kritické aplikace
(Nils WEISS)2021, Disertační práce, Fakulta aplikovaných věd / ZÁPADOČESKÁ UNIVERZITA V PLZNI
• http://theses.cz/id//flpqz9// | Inženýrská informatika / Informatika a výpočetní technika | Práce na příbuzné téma
Verifikace bezpečnostně kritických a bezpečnostních systémů kontroly a řízení metodou model checking a strukturálním testováním
(Tomáš AUSBERGER)2024, Disertační práce, Fakulta aplikovaných věd / ZÁPADOČESKÁ UNIVERZITA V PLZNI
• http://theses.cz/id//l43i7b// | Aplikované vědy a informatika / Kybernetika | Práce na příbuzné téma
Verifikace bezpečnostně kritických a bezpečnostních systémů kontroly a řízení metodou model checking a strukturálním testováním
(Tomáš AUSBERGER)2024, Disertační práce, Fakulta aplikovaných věd / ZÁPADOČESKÁ UNIVERZITA V PLZNI
• http://theses.cz/id//l43i7b// | Aplikované vědy a informatika / Kybernetika | Práce na příbuzné téma
Kaskádní efekty v systému kritické infrastruktury
(Veronika Brabcová)2019, Disertační práce, Fakulta bezpečnostního inženýrství / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/138560 | Požární ochrana a průmyslová bezpečnost / Požární ochrana a bezpečnost | Práce na příbuzné téma
Šíření kaskádního efektu při selhání informační kritické infrastruktury
(Ondřej Černý)2018, Diplomová práce, Fakulta bezpečnostního inženýrství / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/128205 | Požární ochrana a průmyslová bezpečnost / Bezpečnostní plánování | Práce na příbuzné téma
Bezpečnostní testování v IT
(Lukáš Kvaček)2024, Bakalářská práce, AMBIS vysoká škola, a.s.
• https://is.ambis.cz/th/y2nun/ | Bezpečnostní management / | Práce na příbuzné téma
Testování chytré bezpečnostní kamery
(Anna Kiriushenkova)2021, Diplomová práce, Fakulta aplikované informatiky / Univerzita Tomáše Bati ve Zlíně
• http://theses.cz/id//y7fik6// | Inženýrská informatika / Bezpečnostní technologie, systémy a management | Práce na příbuzné téma