Zpět na vyhledávání

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

Keywords ordered alphabetically | Keywords ordered by occurrence rate

« 1 2 » (total: 11 theses)
Verifikace MPI programů pomocí DIVINE
 (Marek Tomáštík)

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

• https://is.muni.cz/th/bu4gt/ | Informatika / Paralelní a distribuované systémy | Theses on a related topic

List of theses with an identical keyword.

Modelování stateflow diagramů pro účely verifikace
 (Pavla Kratochvílová)

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

• https://is.muni.cz/th/r1zte/ | Informatika / Matematická 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

Formal Verification of Component Interaction in Component-Based Systems
 (Nikola Beneš)

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

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

Verification of probabilistic systems against quantified linear properties
 (Jana Tůmová)

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

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

Implementace podnikového modelu kompetencí
 (Kamila Riegerová)

2010, Diplomová práce, Vysoká škola ekonomická v Praze

• http://www.vse.cz/vskp/eid/23642 | Ekonomika a management / Podniková ekonomika a management | Theses on a related topic

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 / | Theses on a related topic

Basic Model Checking Problems for Stochastic Games
 (Václav Brožek)

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

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

Model Checking of promt-LTL properties
 (Ondřej Kuzník)

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

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

API pro monitorování chování programů v kontextu nástroje DIVINE
 (Tadeáš Kučera)

2019, Diplomová práce, Přírodovědecká fakulta / Masarykova univerzita

• https://is.muni.cz/th/ay7v9/ | Matematika / Matematika s informatikou | Theses on a related topic

« 1 2 » (total: 11 theses)