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

tightening, minimal network, timing consistency, message sequence charts

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
Fábry, Tomáš
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Sazba sekvenčních diagramů v prostředí LaTeX | Theses on a related topic Display description

2.
Chmelík, Martin
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Realizability of Message Sequence Graphs | Theses on a related topic

3.
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

4.
Kramárik, Ivo
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Převod záznamu chování komunikačního systému do MSC | Theses on a related topic

5.
Slovák, Petr
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Race Conditions in Message Sequence Charts | Theses on a related topic

6.
Zavadil, Martin
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Nástroje pro práci s message sequence charts | Theses on a related topic