Práce na stejné téma (mají shodná klíčová slova):
divineKlíčová slova abecedně | Klíčová slova dle četnosti
Verifikace CTL vlastností v nástroji DiVinE
(Šimon Vanický)2016, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/mh9a9/ | Informatika / Teoretická informatika | Práce na příbuzné téma
A Blessing and a Curse: Divine Names in Jewish Textual Tradition
(Nikola SVOBODNÍKOVÁ)2021, Diplomová práce, Filozofická fakulta / UNIVERZITA PALACKÉHO V OLOMOUCI
• http://theses.cz/id//8mnkd8// | Judaistika. Dějiny a kultura Židů / | Práce na příbuzné téma
A Divine, a Sin-absolver, a Friend Professed or an Unreverend and Unhallowed Friar?
(Hana PATOČKOVÁ)2024, Bakalářská práce, Filozofická fakulta / UNIVERZITA PALACKÉHO V OLOMOUCI
• http://theses.cz/id//j452q0// | Anglická filologie / Anglická filologie / Filmová studia | Práce na příbuzné téma
Germination ability of the invasive knotweed seeds under different experimental conditions
(Divine Chikezie Nnamdi)2024, Diplomová práce, Fakulta životního prostředí / Česká zemědělská univerzita v Praze
• http://theses.cz/id//gwpdx1// | Nature Conservation / | Práce na příbuzné téma
Predicate Abstraction of DiVinE Models
(Jiří Novosad)2012, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/qpaxh/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
System Performance Analysis Extension of DiVinE
(Petr Bauch)2011, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/wt8bv/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
Vysvětlování protipříkladů v nástroji DiVinE
(Roman Plášil)2011, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/s07zh/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
Návrh modelovacího jazyka nástroje DiVinE
(Tomáš Janoušek)2010, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/yn8c0/ | Aplikovaná informatika / | Práce na příbuzné téma
Relaxed Memory Models in DiVinE
(Vojtěch Havel)2012, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/yrkfl/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
State space compression for the DiVinE model checker
(Vladimír Štill)2013, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/welgh/ | Informatika / Počítačové sítě a komunikace | Práce na příbuzné téma