Práce na stejné téma (mají shodná klíčová slova):
model checkingKlíčová slova abecedně | Klíčová slova dle četnosti
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
Bezpečnostní testování webových aplikací
(Šárka Möstlová)2020, Bakalářská práce, Provozně ekonomická fakulta / Česká zemědělská univerzita v Praze
• http://theses.cz/id//w7opgz// | Systémové inženýrství a informatika / Informatika | 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
Systémy určování polohy v bezpečnostní praxi
(Ondřej Rudinský)2023, Bakalářská práce, Fakulta aplikované informatiky / Univerzita Tomáše Bati ve Zlíně
• http://theses.cz/id//i96gp5// | Bezpečnostní technologie, systémy a management / | Práce na příbuzné téma
Modelování a testováni bezpečnostních systémů pomocí neuronových sítí
(Jan Lexa)2013, Diplomová práce, Technická fakulta / Česká zemědělská univerzita v Praze
• http://theses.cz/id//oyvg15// | Informační a řídící technika v agropotravinářském komplexu / | 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
Sledování množství 137Cs v půdě a vegetaci a plošné měření dávkového příkonu na vybraných lokalitách - Loučeň
(Václav Makowski)2020, Bakalářská práce, Fakulta životního prostředí / Česká zemědělská univerzita v Praze
• http://theses.cz/id//jms6xx// | Krajinářství / Územní technická a správní služba | Práce na příbuzné téma
Monitoring měřených veličin a analýza měřených dat na obnovitelných zdrojích energie a automatizovaných parkovacích systémech
(Hubert Schwarz)2013, Diplomová práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/101058 | Elektrotechnika / Měřicí a řídicí technika | Práce na příbuzné téma