Zpět na vyhledávání

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

formal verification

Klíčová slova abecedně | Klíčová slova dle četnosti

« 1 2 3 4 » (celkem 32 prací)
GPU Accelerated Enumerative Model Checking
 (Milan Češka)

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

• https://is.muni.cz/th/dlvdw/ | Informatika / | Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

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

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

• https://is.muni.cz/th/dlvdw/ | Informatika / | Práce na příbuzné téma

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

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

• https://is.muni.cz/th/dlvdw/ | Informatika / | Práce na příbuzné téma

External Memory LTL Model Checking
 (Pavel Šimeček)

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

• https://is.muni.cz/th/kcnmv/ | Informatika (čtyřleté) / Informatika | Práce na příbuzné téma

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 / | Práce na příbuzné téma

Vliv specifikačních automatů na ověřování modelu
 (Vojtěch Rujbr)

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

• https://is.muni.cz/th/nh5qb/ | Aplikovaná informatika / | Práce na příbuzné téma

Grafická reprezentace formulí logiky LTL
 (Michal Keda)

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

• https://is.muni.cz/th/fdund/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma

Porovnání nástrojů pro paralelní LTL model checking
 (Marek Tomáštík)

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

• https://is.muni.cz/th/dk1b6/ | Informatika / Matematická informatika | Práce na příbuzné téma

Verifikační manažer pro explicitní ověřování modelu
 (Václav Rosecký)

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

• https://is.muni.cz/th/i2qqj/ | Aplikovaná informatika / | Práce na příbuzné téma

Vytvoření modelu výtahů se sběrným řízením
 (Ondřej Plotěný)

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

• https://is.muni.cz/th/uedxb/ | Aplikovaná informatika / | Práce na příbuzné téma

« 1 2 3 4 » (celkem 32 prací)