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

verifikacia, bezpecnost, safety, synteza ovladaca, phaver, checkmate, hsolver, matisse, hybrid automata, hybridny system, multiparametric toolbox, hybridny automat, hybrid system, verification, hytech, keymaera, verifikacny nastroj, verification tool, dosazitelnost, reachability, controller synthesis, d/dt

Keywords ordered alphabetically | Keywords ordered by occurrence rate

551.
Žák, Martin
Faculty: Faculty of Social Studies
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Political Science / Political Science, Security & Strategic Studies
Bachelor's thesis defence: Hrozby spojené s využívaním vodných zdrojov v Číne | Theses on a related topic Display description

552.
Žiak, Ondrej
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Bezpečnost standardu Bluetooth | Theses on a related topic

553.
Žilka, Roman
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Analýza a detekce linuxových rootkitů

554.
Žilka, Roman
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Steganografie a stegoanalýza | Theses on a related topic

555.
Žilka, Roman
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Information Technology Security
Advanced Master's thesis defence: Towards a Secure Payment System for Large Infrastructures | Theses on a related topic