Theses on the same topic (having an identical keyword):
bezpecnostne kriticke systemyKeywords ordered alphabetically | Keywords ordered by occurrence rate
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 | Theses on a related topic
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 | Theses on a related topic
Využití techniky "Model checking" pro vývoj bezpečnostně kritických aplikací
(Tomáš AUSBERGER)2017, Diplomová práce, Fakulta aplikovaných věd / ZÁPADOČESKÁ UNIVERZITA V PLZNI
• http://theses.cz/id//4d4xu6// | Aplikované vědy a informatika / Kybernetika a řídicí technika | Theses on a related topic
Funkční bezpečnost systémů strojového vidění v automomních vozidlech
(Václav DIVIŠ)2024, Disertační práce, Fakulta aplikovaných věd / ZÁPADOČESKÁ UNIVERZITA V PLZNI
• http://theses.cz/id//mjctuu// | Aplikované vědy a informatika / Kybernetika | Theses on a related topic
Blackout a připravenost složek Integrovaného záchranného systému v Praze
(Lucie Piňosová)2023, Diplomová práce, Vysoká škola finanční a správní
• https://is.vsfs.cz/th/cjflv/ | Bezpečnostně právní studia / | Theses on a related topic