Práce na stejné téma (mají shodná klíčová slova):
safety modelKlíč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
Konstrukce, funkce a model bezpečnostního systému "lane assist" v osobních automobilech
(Michal Penc)2021, Bakalářská práce, Technická fakulta / Česká zemědělská univerzita v Praze
• http://theses.cz/id//xk2558// | Zemědělské inženýrství / Inženýrství údržby | Práce na příbuzné téma
Matematický model bezpečnosti vybraného typu křižovatky v závislosti na dispozičním řešení
(Pavel Lopour)2015, Disertační práce, Dopravní fakulta Jana Pernera / Univerzita Pardubice
• http://theses.cz/id//dhfn7f// | Technika a technologie v dopravě a spojích / Dopravní prostředky a infrastruktura: Dopravní infrastruktura - stavební | Práce na příbuzné téma
Model lidského těla z hlediska elektrotechnické bezpečnosti a simulace nebezpečných stavů
(Jan Kašpar)2023, Bakalářská práce, Fakulta zdravotnických studií / Technická univerzita v Liberci
• http://theses.cz/id//y7v8o9// | Biomedicínská technika / | Práce na příbuzné téma
A Study on health and safety practices at tema oil refinery (TOR) in Ghana
(Hero Kwabena Toseafa)2018, Disertační práce, Fakulta chemicko-technologická / Univerzita Pardubice
• http://theses.cz/id//sa52lb// | Chemical and Process Engineering / Environmental Engineering | 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
Ověření účinnosti a bezpečnosti magneticky navigovaných katerů na zvířecím modelu
(Jiří Jež)2020, Disertační práce, Lékařská fakulta / Masarykova univerzita
• https://is.muni.cz/th/p1pcd/ | Vnitřní lékařství / Kardiologie | Práce na příbuzné téma
Improving thread safety mechanisms in Libvirt
(Kristína Hanicová)2022, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/su67u/ | Informatika / | Práce na příbuzné téma
Bezpečnost prostředků elektronického bankovnictví
(Jakub Fabian)2014, Diplomová práce, Ekonomicko-správní fakulta / Masarykova univerzita
• https://is.muni.cz/th/j20de/ | Finance a účetnictví / Finance | Práce na příbuzné téma
Reduction and Abstraction Techniques for Model Checking
(Radek Pelánek)2006, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/xrsgd/ | Informatika / | Práce na příbuzné téma