Práce na příbuzné téma (mají shodná klíčová slova):
divine, temporal logic, modeling language, model checking, model checker, dve, ltl, distributedKlíčová slova abecedně | Klíčová slova dle četnosti
151.
Zbončáková, Tatiana
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Redukce omega-automatů s využitím Emerson-Lei akceptační podmínky | Práce na příbuzné téma![Zobrazit popisek Zobrazit popisek](/pics/design/14/z/ico/navodek-plus.png)
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Redukce omega-automatů s využitím Emerson-Lei akceptační podmínky | Práce na příbuzné téma
![Zobrazit popisek Zobrazit popisek](/pics/design/14/z/ico/navodek-plus.png)
152.
Zich, Jakub
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Řízení softwarových systémů a služeb / Řízení vývoje softwarových systémů
Obhajoba diplomové práce: Grafická reprezentace formulí logiky HCTL | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Řízení softwarových systémů a služeb / Řízení vývoje softwarových systémů
Obhajoba diplomové práce: Grafická reprezentace formulí logiky HCTL | Práce na příbuzné téma