Theses on a related topic (having the same keywords):

kompozicionalni verifikace, modal transition systems, deterministicke specifikace, complexity, deterministic specifications, consistency, konzistence, zjemneni, compositional verification, modalni prechodove systemy, refinement, slozitost

Keywords ordered alphabetically | Keywords ordered by occurrence rate

51.
Tománková, Iveta
Faculty: Faculty of Social Studies
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Social Policy and Social Work / Social Policy and Social Work
Master's thesis defence: Personální politika a interakce subkultur v rámci vybrané firmy | Theses on a related topic Display description

52.
Trávníček, Zdeněk
Faculty: Faculty of Arts
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Philosophy / Philosophy
Master's thesis defence: Problémy dialetheismu | Theses on a related topic

53.
Veselý, Kamil
Faculty: Faculty of Informatics
Year: 2012, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Analýza postupů řešení úlohy Tangram | Theses on a related topic

54.
Zatrochová, Zuzana
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Analysis and testing of distributed NoSQL datastore Riak | Theses on a related topic