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

metric interval temporal logic, monitoring, verification, testing, model checking, linear temporal logic, partial observability, formula rewriting, measurement inaccuracies

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

451.
Žák, Martin
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Coloured Nested DFS | Práce na příbuzné téma Zobrazit popisek

452.
Žemba, Jan
Fakulta: Fakulta sportovních studií
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Osobní a kondiční trenér / Osobní a kondiční trenér
Obhajoba bakalářské práce: Monitoring hokejisty v rámci optimalizace tréninkového procesu a prevence přetrénování v přípravném období | Práce na příbuzné téma

453.
Župa, Pavel
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Autorské a studentské nástroje pro e-learning | Práce na příbuzné téma