Práce na příbuzné téma (mají shodná klíčová slova):

tightening, minimal network, timing consistency, message sequence charts

Klíčová slova abecedně | Klíčová slova dle četnosti

1.
Fábry, Tomáš
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Sazba sekvenčních diagramů v prostředí LaTeX | Práce na příbuzné téma Zobrazit popisek

2.
Chmelík, Martin
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Realizability of Message Sequence Graphs | Práce na příbuzné téma

3.
Korenčiak, Ľuboš
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Effective Algorithms for Time Relation Checking in Message Sequence Charts | Práce na příbuzné téma

4.
Kramárik, Ivo
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Převod záznamu chování komunikačního systému do MSC | Práce na příbuzné téma

5.
Slovák, Petr
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Race Conditions in Message Sequence Charts | Práce na příbuzné téma

6.
Zavadil, Martin
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Nástroje pro práci s message sequence charts | Práce na příbuzné téma