Práce na stejné téma (mají shodná klíčová slova):
specifikaceKlíčová slova abecedně | Klíčová slova dle četnosti
Algebraický přístup k lineární temporální logice
(Karolína Malá)2013, Diplomová práce, Přírodovědecká fakulta / Masarykova univerzita
• https://is.muni.cz/th/rwhf9/ | Matematika / Algebra a diskrétní matematika | Práce na příbuzné téma
Topologie času a temporální logika
(Jakub Vít)2014, Bakalářská práce, Filozofická fakulta / Masarykova univerzita
• https://is.muni.cz/th/f1rh6/ | Filozofie / | Práce na příbuzné téma
Grafická reprezentace specifikačních vzorů pro temporální logiky
(Adam Tuček)2017, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/zeq2o/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
PRAVDĚPODOBNOSTNÍ PORADNÍ SUBSYSTÉM JAKO SOUČÁST DISTRIBUOVANÉHO ŘÍDICÍHO SYSTÉMU SLOŽITÉHO PRŮMYSLOVÉHO PROCESU
(Ivan PUCHR)2018, Disertační práce, Fakulta aplikovaných věd / ZÁPADOČESKÁ UNIVERZITA V PLZNI
• http://theses.cz/id//tpcaou// | Inženýrská informatika / Informatika a výpočetní technika | Práce na příbuzné téma
Paralelní ověřování kvalitativních vlastností pravděpodobnostních modelů
(Jana Tůmová)2006, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/n10ay/ | Aplikovaná informatika / | Práce na příbuzné téma