Theses on the same topic (having an identical keyword):
ltlKeywords ordered alphabetically | Keywords ordered by occurrence rate
External Memory LTL Model Checking
(Pavel Šimeček)2009, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/kcnmv/ | Informatika (čtyřleté) / Informatika | Theses on a related topic
LTL atraktory
(Peter Bezděk)2009, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/qjn7v/ | Informatika / | Theses on a related topic
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 | Theses on a related topic
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 / | Theses on a related topic
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 / | Theses on a related topic
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 / | Theses on a related topic
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 / | Theses on a related topic
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 | Theses on a related topic
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 | Theses on a related topic
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 | Theses on a related topic