Zpět na vyhledávání

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

safety checking

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

Safety Checkers for Termination Proofs
 (Jiří Zárevúcky)

2019, Diplomová práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/h4iwh/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

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

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

Improving out-of-bound access checking in Symbiotic
 (Anna Řechtáčková)

2020, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/tmq7m/ | Aplikovaná informatika / | 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

Ověřování bezpečnosti elektrických zařízení
 (Petra Marie SLAVKOVÁ)

2012, Diplomová práce, Fakulta elektrotechnická / ZÁPADOČESKÁ UNIVERZITA V PLZNI

• http://theses.cz/id//9evrty// | Aplikovaná elektrotechnika / | Práce na příbuzné téma