Práce na stejné téma (mají shodná klíčová slova):
verifikace softwareKlíčová slova abecedně | Klíčová slova dle četnosti
Automaty ve Verifikaci a Testování Software
(Martin Hruška)2024, Disertační práce, Vysoké učení technické v Brně
• http://theses.cz/id//nfrga2// | Výpočetní technika a informatika / | Práce na příbuzné téma
Automaty ve Verifikaci a Testování Software
(Martin Hruška)2024, Disertační práce, Vysoké učení technické v Brně
• http://theses.cz/id//ivtsw1// | Výpočetní technika a informatika / | Práce na příbuzné téma
Modelování a verifikace platebního systému
(Marharyta Zhuk)2014, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/vyf09/ | Informatika / Informační systémy | Práce na příbuzné téma
Problematika testování a verifikace softwaru pro leteckou techniku
(Lukáš Mačišák)2016, Diplomová práce, Vysoké učení technické v Brně
• http://theses.cz/id//52eb6b// | Informační technologie / | Práce na příbuzné téma
Automatická verifikace v procesu soubežného návrhu hardware a software
(Lukáš Charvát)2020, Disertační práce, Vysoké učení technické v Brně
• http://theses.cz/id//ooqy5q// | Výpočetní technika a informatika / | Práce na příbuzné téma
Automatická verifikace v procesu soubežného návrhu hardware a software
(Lukáš Charvát)2020, Disertační práce, Vysoké učení technické v Brně
• http://theses.cz/id//9m50dj// | Výpočetní technika a 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
Tvorba a verifikace map pokrytí signálem spojových prostředků Hasičského záchranného sboru České republiky
(Petr Brotánek)2012, Diplomová práce, Hornicko-geologická fakulta / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/92053 | Geodézie a kartografie / Geoinformatika | Práce na příbuzné téma
Assurance of Forensic-Ready Software Systems
(Lukáš Daubner)2021, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/gcgcg/ | Počítačové systémy, komunikace a bezpečnost / | Práce na příbuzné téma
Verifikace a doplnění Open Land Use z dat DPZ
(Jan Chytrý)2020, Bakalářská práce, Přírodovědecká fakulta / Masarykova univerzita
• https://is.muni.cz/th/pnxof/ | Geografie a kartografie / Geografická kartografie a geoinformatika | Práce na příbuzné téma