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

bezpecnostne kriticky software

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//5ok1e9// | Kybernetika / | 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