Theses on a related topic (having the same keywords):
high-level msc, automatic check, vlastnosti msc, sequence chart studio, scstudio, properties of msc, message sequence chart, basic msc, automaticka kontrolaKeywords ordered alphabetically | Keywords ordered by occurrence rate
1.
Farmadin, Adrian
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Rozšíření Sequence Chart Studia o exportní filtr do LaTeXu | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Rozšíření Sequence Chart Studia o exportní filtr do LaTeXu | Theses on a related topic
2.
Madzin, Matúš
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Načítání MSC diagramů z textové podoby ITU-T Z.120 | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Načítání MSC diagramů z textové podoby ITU-T Z.120 | Theses on a related topic
3.
Malota, Milan
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Layout Configuration for Message Sequence Charts | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Layout Configuration for Message Sequence Charts | Theses on a related topic
4.
Márton, Tomáš
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Časově závislé rozvržení MSC | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Časově závislé rozvržení MSC | Theses on a related topic
5.
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
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
6.
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
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
7.
Borza, Viktor
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Tvorba MSC diagramů ze síťového provozu | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Tvorba MSC diagramů ze síťového provozu | Theses on a related topic
8.
Bouda, Ondřej
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Refactoring of Sequence Chart Studio | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Refactoring of Sequence Chart Studio | Theses on a related topic
9.
Korenčiak, Ľuboš
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Effective Algorithms for Time Relation Checking in Message Sequence Charts | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Effective Algorithms for Time Relation Checking in Message Sequence Charts | Theses on a related topic
10.
Chmelík, Martin
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Deciding Non-local Choice in High-level Message Sequence Charts | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Deciding Non-local Choice in High-level Message Sequence Charts | Theses on a related topic
11.
Chriašteľ, Peter
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Verifikace kryptografických vlastností platebního protokolu | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Verifikace kryptografických vlastností platebního protokolu | Theses on a related topic
12.
Kohut, Michal
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: OpenIMS Modelling for Performance Analysis | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: OpenIMS Modelling for Performance Analysis | Theses on a related topic
13.
Křivánek, Martin
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Probabilistic Extension of Message Sequence Chart | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Probabilistic Extension of Message Sequence Chart | Theses on a related topic
14.
Ranto, Boris
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Writing Graph Algorithms in Executable Pseudocode | Theses on a related topic
Bachelor's thesis defence: Writing Graph Algorithms in Executable Pseudocode | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Writing Graph Algorithms in Executable Pseudocode | Theses on a related topic
Bachelor's thesis defence: Writing Graph Algorithms in Executable Pseudocode | Theses on a related topic
15.
Vodila, Martin
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Převádění záznamů testů do podoby Message Sequence Chart popisů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Převádění záznamů testů do podoby Message Sequence Chart popisů | Theses on a related topic