Práce na stejné téma (mají shodná klíčová slova):
temporalni vlastnostiKlíčová slova abecedně | Klíčová slova dle četnosti
Webový modul pro monitorování a analýzu robustnosti temporálních vlastností biologických systémů
(Petr Horáček)2016, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/p60he/ | Aplikovaná informatika / Bioinformatika | Práce na příbuzné téma
Ověřování temporálních vlastností konečných běhů programů
(Petra Sečkařová)2019, Diplomová práce, Vysoké učení technické v Brně
• http://theses.cz/id//7h2his// | Informační technologie / | 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
Výskyt temporální fauny v pramenných vývěrech oblasti Lužického zlomu
(Veronika Paloušová)2019, Bakalářská práce, Fakulta životního prostředí / Česká zemědělská univerzita v Praze
• http://theses.cz/id//gmqa8p// | Krajinářství / Vodní hospodářství | Práce na příbuzné téma
Čas v počítačových hrách: Vztah temporální struktury a subjektivního vnímání času
(Jiří Grummich)2012, Bakalářská práce, Filozofická fakulta / Masarykova univerzita
• https://is.muni.cz/th/cx7xa/ | Obecná teorie a dějiny umění a kultury / Teorie interaktivních médií | Práce na příbuzné téma
Visual Specification of Temporal Properties over Time Series
(Tomáš Vejpustek)2011, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/hnk9a/ | Informatika / Matematická informatika | 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
Problém splnitelnosti pro pravděpodobnostní temporální logiky
(Miroslav Chodil)2019, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/zn1az/ | Informatika / Teoretická informatika | Práce na příbuzné téma
Analýza temporálních sítí
(David Podermański)2017, Diplomová práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/119011 | Informační a komunikační technologie / Informatika a výpočetní technika | Práce na příbuzné téma
Modelování a verifikace platebního systému
(Marharyta Zhuk)2014, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/vyf09/ | Informatika / Informační systémy | Práce na příbuzné téma