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

divine, model based development, simulink, stateflow, formal verification, model checking, transformation

Keywords ordered alphabetically | Keywords ordered by occurrence rate

301.
Turzová, Helena
Faculty: Faculty of Economics and Administration
Year: 2005, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / National Economy (combination/specialization: Economic Policy)
Master's thesis defence: Komparace transformačního procesu ČR a vybrané tranzitivní země (Maďarsko) z pohledu integračního procesu

302.
Tušil, Jan
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Programmable Technical Structures
Bachelor's thesis defence: Partial Order redukce pro LLVM | Theses on a related topic

303.
Vacek, Václav
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: New checkers for Sequence Chart Studio | Theses on a related topic

304.
Valent, Miroslav
Faculty: Faculty of Economics and Administration
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Economic Policy / Economic Policy
Bachelor's thesis defence: Restrukturalizace hnědouhelného průmyslu v ČR po roce 1990 | Theses on a related topic

305.
Valtr, Jan
Faculty: Faculty of Social Studies
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Media Studies and Journalism / European Studies, Media Studies and Journalism
Bachelor's thesis defence: Přeměna Ostravy: soubor publicistických rozhovorů | Theses on a related topic

306.
Vanický, Šimon
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Verifikace CTL vlastností v nástroji DiVinE | Theses on a related topic
Master's thesis defence: Verifikace CTL vlastností v nástroji DiVinE | Theses on a related topic
Master's thesis defence: Verifikace CTL vlastností v nástroji DiVinE | Theses on a related topic

307.
Vašátko, Tomáš
Faculty: Faculty of Science
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Geography and Cartography / Geography (combination/specialization: Human Geography)
Bachelor's thesis defence: Transformace regionu po roce 1989 na příkladu SO ORP Vítkov se zaměřením na obyvatelstvo a sídla | Theses on a related topic

308.
Večeřová, Aneta
Faculty: Faculty of Economics and Administration
Year: 2022, studies completed, degree conferred: Ing.
Programme/field: Finance / Finance
Master's thesis defence: Transformace družstevních záložen na banky | Theses on a related topic

309.
Vejpustek, Tomáš
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Visual Specification of Temporal Properties over Time Series | Theses on a related topic

310.
Veselský, Jan
Faculty: Faculty of Science
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Geography and Cartography / Regional Geography and Regional Planning
Master's thesis defence: Regionálně geografická analýza zemědělství okresu Žďár nad Sázavou | Theses on a related topic

311.
Vláčilová, Zora
Faculty: Faculty of Education
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Arts for Education, Visual Arts for Education
Bachelor's thesis defence: Řeč krajky | Theses on a related topic

312.
Vojtíšková, Ľubica
Faculty: Faculty of Arts
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Education / Education
Bachelor's thesis defence: Reflexe procesu tvorby školního vzdělávacího programu pro základní vzdělávání | Theses on a related topic

313.
Vrbík, Filip
Faculty: Faculty of Science
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Geography / Geography and Cartography (combination/specialization: Regional Geography and Regional Planning)
Master's thesis defence: Regionální geografická analýza zemědělství v jihozápadní části Jihomoravského kraje a v jižní části kraje Vysočina | Theses on a related topic

314.
Vrtíková, Kristína
Faculty: Faculty of Science
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Transformace vícerozměrných integrálů | Theses on a related topic

315.
Wagnerová, Tereza
Faculty: Faculty of Social Studies
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Social Policy and Social Work / Social Work
Master's thesis defence: Transformace pobytových zařízení pro osoby s mentálním handicapem | Theses on a related topic

316.
Wawrzacz, Antonín
Faculty: Faculty of Science
Year: 2005, studies completed, degree conferred: Mgr.
Programme/field: Geography / Geography and Cartography (combination/specialization: Regional Geography and Regional Planning)
Master's thesis defence: Průmyslové zóny a přímé zahraniční investice v Jihomoravském kraji

317.
Weiser, Jiří
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: TCP vrstva pro verifikační nástroj DIVINE | Theses on a related topic

318.
Závadová, Lucie
Faculty: Faculty of Economics and Administration
Year: 2005, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Financial Management
Master's thesis defence: Transformace bankovního sektoru v ČR

319.
Zhuk, Marharyta
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Modelování a verifikace platebního systému | Theses on a related topic

320.
Zich, Jakub
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Software systems and services management / Software Systems Development Management
Master's thesis defence: Grafická reprezentace formulí logiky HCTL | Theses on a related topic

321.
Zorig, Baljmaa
Faculty: Faculty of Economics and Administration
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Economic Policy and Administration / European Economy, Administrative and Cultural Studies
Bachelor's thesis defence: Ekonomická transformace v Mongolsku | Theses on a related topic

322.
Železník, Martin
Faculty: Faculty of Economics and Administration
Year: 2009, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Economic Policy
Master's thesis defence: Vývoj nezaměstnanosti ve Slovenské republice a jeho příčiny | Theses on a related topic

323.
Žofčin, Jakub
Faculty: Faculty of Economics and Administration
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Finance / Finance
Bachelor's thesis defence: Přeměna obchodní společnosti a její vliv na finanční výkonnost | Theses on a related topic