Zpět na vyhledávání

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

overovanie modelov

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

Verification of Name Service Cache Daemon with DIVINE Model Checker
 (Milan Lenčo)

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

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

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

Škálovatelná syntéza parametrů pro hypotézy formulované v logice CTL
 (Samuel Pastva)

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

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

Paralelní syntéza parametrů z formulí hybridní logiky HUCTL
 (Samuel Pastva)

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

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

Rozšíření a refaktorizace nástroje BioDiVinE
 (Martin Demko)

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

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