Práce na stejné téma (mají shodná klíčová slova):

bezpecnostne kriticke systemy

Klíčová slova abecedně | Klíčová slova dle četnosti

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

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 | Práce na příbuzné téma

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 | Práce na příbuzné téma

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 / | Práce na příbuzné téma