Práce na stejné téma (mají shodná klíčová slova):
ltlKlíčová slova abecedně | Klíčová slova dle četnosti
Model Checking of promt-LTL properties
(Ondřej Kuzník)2009, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/fpfgf/ | Informatika / | Práce na příbuzné téma
Porovnání nástrojů pro paralelní LTL model checking
(Marek Tomáštík)2013, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/dk1b6/ | Informatika / Matematická informatika | Práce na příbuzné téma
Počítačová podpora pro specifikaci požadavků v LTL
(Vladimír Bača)2014, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/s9r8m/ | Informatika / Matematická informatika | Práce na příbuzné téma
Paralelní verifikace LTL(F,G) vlastností
(Jitka Kudrnáčová)2008, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/qanl7/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
Parallel Breadth-First Search in LTL Model-Checking
(Jiří Barnat)2006, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/zk960/ | Informatika / | Práce na příbuzné téma
LTL ověřování pravděpodobnostních modelů v prostředí s distribuovanou pamětí
(Milan Češka)2006, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/xdryz/ | Informatika / | Práce na příbuzné téma
Výpočet charakteristických vzorců pro LTL
(Tomáš Babiak)2007, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/b8sr0/ | Aplikovaná informatika / | Práce na příbuzné téma
Translation of Linear Temporal Logic to Omega-Automata
(Tomáš Babiak)2017, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/wqhsq/ | Informatika (čtyřleté) / Informatika | Práce na příbuzné téma
Parameter Synthesis for Systems with Real Time
(Peter Bezděk)2017, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/i4kyb/ | Informatika (čtyřleté) / Informatika | Práce na příbuzné téma
Automata for Formal Methods: Little Steps Towards Perfection
(František Blahoudek)2018, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/gwriw/ | Informatika (čtyřleté) / Informatika | Práce na příbuzné téma