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

formal specification, architectural compatibility, visual formalism, architectural description

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

1.
Dluhoš, Petr
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Umělá inteligence a zpracování přirozeného jazyka
Obhajoba diplomové práce: Specification and monitoring of oscillation properties in dynamical systems | Práce na příbuzné téma Zobrazit popisek

2.
Kulíšek, Samuel
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Formal representation of graphical models of biological systems | Práce na příbuzné téma

3.
Šafránek, David
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Graphical Specification of Concurrent Systems | Práce na příbuzné téma

4.
Troják, Matej
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba diplomové práce: Formal Biochemical Space for Specification and Analysis of Biochemical Processes | Práce na příbuzné téma