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

Probabilistic, Verification

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

« 1 2 3 » (celkem 24 prací)
A tool for checking texts extracted from PDF
 (Samuel Benko)

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

• https://is.muni.cz/th/e233g/ | Programování a vývoj aplikací / | Práce na příbuzné téma

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

Limits of efficient FO model checking of geometric graphs
 (Filip Pokrývka)

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

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

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

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

« 1 2 3 » (celkem 24 prací)