Zpět na vyhledávání

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

automatizovaná verifikace

Keywords ordered alphabetically | Keywords ordered by occurrence rate

« 1 2 3 » (total: 28 theses)
Paralelní řešič velkých soustav lineárních nerovnic ve sdílené paměti
 (Martin Pažout)

2019, Bakalářská práce, České vysoké učení technické v Praze

• http://theses.cz/id//j30k6n// | Otevřená informatika / | Theses on a related topic

List of theses with an identical keyword.

Soustavy lineárních rovnic a nerovnic
 (Emílie Smrečková)

2010, Bakalářská práce, Pedagogická fakulta / Univerzita Palackého

• http://theses.cz/id//u4oc8e// | Specializace v pedagogice / Matematika se zaměřením na vzdělávání a společenské vědy se zaměřením na vzdělávání | Theses on a related topic

LTL ověřování pravděpodobnostních modelů v prostředí s distribuovanou pamětí
 (Milan Češka)

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

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

LTL ověřování pravděpodobnostních modelů v prostředí s distribuovanou pamětí
 (Milan Češka)

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

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

LTL ověřování pravděpodobnostních modelů v prostředí s distribuovanou pamětí
 (Milan Češka)

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

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

Craig's Interpolant in Model Checking Algorithms
 (Viktória Vozárová)

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

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

LLVM Transformations for Model Checking
 (Vladimír Štill)

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

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

Symbolic Model Checking via Program Transformations
 (Henrich Lauko)

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

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

Partial Order Reduction in Parallel Model Checking
 (Petr Ročkai)

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

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

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

« 1 2 3 » (total: 28 theses)