Zpět na vyhledávání

Theses on the same topic (having an identical keyword):

ltl

Keywords ordered alphabetically | Keywords ordered by occurrence rate

« 1 2 3 » (total: 22 theses)
Překlad LTL na nedeterministické automaty s generickou akceptační podmínkou
 (Juraj Major)

2017, Diplomová práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/o0rn5/ | Aplikovaná informatika / | Theses on a related topic

Translation of LTL to Semi-Deterministic Automata via Alternating Automata
 (Michal Románek)

2018, Diplomová práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/xq7cw/ | Aplikovaná informatika / | Theses on a related topic

Translation of an LTL fragment to deterministic Rabin and Streett automata
 (František Blahoudek)

2012, Diplomová práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/kr9t4/ | Informatika / Paralelní a distribuované systémy | Theses on a related topic

Grafická reprezentace formulí logiky LTL
 (Michal Keda)

2015, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/fdund/ | Informatika / Paralelní a distribuované systémy | Theses on a related topic

Translation of LTL to omega-automata
 (Tomáš Babiak)

2011, Rigorózní práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/zwfv1/ | Informatika / Paralelní a distribuované systémy | Theses on a related topic

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 | Theses on a related topic

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 | Theses on a related topic

Untimed LTL Model Checking of Timed Automata
 (Jan Havlíček)

2013, Diplomová práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/mohwa/ | Informatika / Paralelní a distribuované systémy | 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

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

« 1 2 3 » (total: 22 theses)