Theses on the same topic (having an identical keyword):

formalni verifikace

Keywords ordered alphabetically | Keywords ordered by occurrence rate

« 1 2 3 » (total: 23 theses)
Automaty v nekonečně stavové formální verifikaci
 (Ondřej Lengál)

2016, Disertační práce, Vysoké učení technické v Brně

• http://theses.cz/id//7glsmv// | Výpočetní technika a informatika / | Theses on a related topic

List of theses with an identical keyword.

Automaty v nekonečně stavové formální verifikaci
 (Ondřej Lengál)

2016, Disertační práce, Vysoké učení technické v Brně

• http://theses.cz/id//espybx// | Výpočetní technika a informatika / | Theses on a related topic

Návrh a implementace nástroje pro formální verifikaci systémů specifikovaných jazykem RT logiky
 (Jan Fiedor)

2016, Diplomová práce, Vysoké učení technické v Brně

• http://theses.cz/id//8r2g2w// | Informační technologie / | Theses on a related topic

Nástroj pro verifikaci workflow sítě
 (Lukáš Potenský)

2009, Diplomová práce, Fakulta elektrotechniky a informatiky / Vysoká škola báňská - Technická univerzita Ostrava

• http://hdl.handle.net/10084/73868 | Informační technologie / Informatika a výpočetní technika | Theses on a related topic

Aplikace formální konceptuální analýzy pro speciální síťové prvky
 (Pavel Měsíček)

2020, Diplomová práce, Fakulta aplikované informatiky / Univerzita Tomáše Bati ve Zlíně

• http://theses.cz/id//nepcr7// | Inženýrská informatika / Bezpečnostní technologie, systémy a management | Theses on a related topic

GPU Accelerated Enumerative Model Checking
 (Milan Češka)

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

• https://is.muni.cz/th/dlvdw/ | Informatika / | Theses on a related topic

Formal Analysis of Stochastic Discrete Event Systems
 (Jan Krčál)

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

• https://is.muni.cz/th/x990g/ | Informatika / | Theses on a related topic

Mapping the Omega-Automata Jungle
 (Tomáš Macháček)

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

• https://is.muni.cz/th/apu9o/ | Informatika / | Theses on a related topic

Grafické rozhraní pro simulátor C++ programů
 (Vojtěch Frnoch)

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

• https://is.muni.cz/th/mghak/ | Aplikovaná informatika / | Theses on a related topic

Distributed State Space Reductions
 (Pavel Moravec)

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

• https://is.muni.cz/th/i7wzw/ | Informatika (čtyřleté) / Informatika | Theses on a related topic

« 1 2 3 » (total: 23 theses)