Zpět na vyhledávání

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

Model checking

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

« 1 2 » (celkem 16 prací)
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

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

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

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

Model Checking Software
 (Petr Ročkai)

2011, Rigorózní práce, Fakulta informatiky / Masarykova univerzita

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

Model Checking Software
 (Petr Ročkai)

2015, Disertační práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/tpopu/ | Informatika (čtyřleté) / Počítačové systémy a technologie | Práce na příbuzné téma

Refined Büchi automata for faster model checking
 (Vojtěch Rujbr)

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

• https://is.muni.cz/th/nanqw/ | Aplikovaná informatika / | Práce na příbuzné téma

External Memory LTL Model Checking
 (Pavel Šimeček)

2009, Disertační práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/kcnmv/ | Informatika (čtyřleté) / Informatika | 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

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

« 1 2 » (celkem 16 prací)