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
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
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
Design a testování části bezpečnostního systému pro výzkumné centrum ELI Beamlines
(Lubomír Stolín)2016, Diplomová práce, Fakulta mechatroniky, informatiky a mezioborových studií / Technická univerzita v Liberci
• http://theses.cz/id//lhrwr6// | Elektrotechnika a informatika / Mechatronika | Práce na příbuzné téma
Analýza a doporučení pro testování inovativních bezpečnostních technologií u složek integrovaného záchranného systému
(Jaroslav Dokoupil)2024, Bakalářská práce, Fakulta bezpečnostně právní / Policejní akademie ČR v Praze
• http://theses.cz/id//fq16eh// | Bezpečnostně právní studia / | Práce na příbuzné téma