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

high-level msc, automatic check, vlastnosti msc, sequence chart studio, scstudio, properties of msc, message sequence chart, basic msc, automaticka kontrola

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

1.
Farmadin, Adrian
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Rozšíření Sequence Chart Studia o exportní filtr do LaTeXu | Práce na příbuzné téma Zobrazit popisek

2.
Madzin, Matúš
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Načítání MSC diagramů z textové podoby ITU-T Z.120 | Práce na příbuzné téma

3.
Malota, Milan
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: Layout Configuration for Message Sequence Charts | Práce na příbuzné téma

4.
Márton, Tomáš
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové systémy a zpracování dat
Obhajoba bakalářské práce: Časově závislé rozvržení MSC | Práce na příbuzné téma

5.
Vacek, Václav
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: New checkers for Sequence Chart Studio | Práce na příbuzné téma

6.
Zhuk, Marharyta
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Modelování a verifikace platebního systému | Práce na příbuzné téma

7.
Borza, Viktor
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Tvorba MSC diagramů ze síťového provozu | Práce na příbuzné téma

8.
Bouda, Ondřej
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Refactoring of Sequence Chart Studio | Práce na příbuzné téma

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

10.
Chmelík, Martin
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Deciding Non-local Choice in High-level Message Sequence Charts | Práce na příbuzné téma

11.
Chriašteľ, Peter
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Verifikace kryptografických vlastností platebního protokolu | Práce na příbuzné téma

12.
Kohut, Michal
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: OpenIMS Modelling for Performance Analysis | Práce na příbuzné téma

13.
Křivánek, Martin
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Probabilistic Extension of Message Sequence Chart | Práce na příbuzné téma

14.
Ranto, Boris
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Writing Graph Algorithms in Executable Pseudocode | Práce na příbuzné téma
Obhajoba bakalářské práce: Writing Graph Algorithms in Executable Pseudocode | Práce na příbuzné téma

15.
Vodila, Martin
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Převádění záznamů testů do podoby Message Sequence Chart popisů | Práce na příbuzné téma