Práce na příbuzné téma (mají shodná klíčová slova):
kompozicionalni verifikace, modal transition systems, deterministicke specifikace, complexity, deterministic specifications, consistency, konzistence, zjemneni, compositional verification, modalni prechodove systemy, refinement, slozitostKlíčová slova abecedně | Klíčová slova dle četnosti
51.
Zatrochová, Zuzana
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Analysis and testing of distributed NoSQL datastore Riak | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Analysis and testing of distributed NoSQL datastore Riak | Práce na příbuzné téma
