Práce na stejné téma (mají shodná klíčová slova):

model checking

Klíčová slova abecedně | Klíčová slova dle četnosti

« 1 2 3 » (celkem 27 prací)
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 | Práce na příbuzné téma

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

Využití techniky "Model checking" pro vývoj bezpečnostně kritických aplikací
 (Tomáš AUSBERGER)

2017, Diplomová práce, Fakulta aplikovaných věd / ZÁPADOČESKÁ UNIVERZITA V PLZNI

http://theses.cz/id//4d4xu6// | Aplikované vědy a informatika / Kybernetika a řídicí technika | Práce na příbuzné téma

Model checking nekonečně stavových systémů založený na inferenci jazyků
 (Pavel Rozehnal)

2016, Diplomová práce, Vysoké učení technické v Brně

http://theses.cz/id//lc088j// | Informační technologie / | Práce na příbuzné téma

Nástroj pro abstraktní regulární model checking
 (Matěj Chalk)

2018, Diplomová práce, Vysoké učení technické v Brně

http://theses.cz/id//wql0ac// | Informační technologie / | Práce na příbuzné téma

Bounded model checking v nástroji Java PathFinder
 (Vendula Dudka)

2016, Diplomová práce, Vysoké učení technické v Brně

http://theses.cz/id//ref6wd// | Informační technologie / | Práce na příbuzné téma

« 1 2 3 » (celkem 27 prací)