Theses on the same topic (having an identical keyword):
formal modelingKeywords ordered alphabetically | Keywords ordered by occurrence rate
Modeling and Verification of Infinite-State Reactive Systems
(Petr Novotný)2012, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/kc7zm/ | Informatika / | Theses on a related topic
Jak generovat náboženství: od modelování k zjednávání systémových vzorů náboženského myšlení a chování
(Tomáš Hampejs)2020, Disertační práce, Filozofická fakulta / Masarykova univerzita
• https://is.muni.cz/th/cfro5/ | Filozofie (čtyřleté) / Religionistika | Theses on a related topic
Semiformálne modelovanie s využitím formálnych obmedzení a transformácie medzi notáciami procesov - diagram aktivít UML
(Martin Gajdoš)2022, Diplomová práce, Fakulta elektrotechniky a informatiky / VŠB – Technická univerzita Ostrava
• http://hdl.handle.net/10084/147372 | Informační a komunikační technologie / Informatika a výpočetní technika | Theses on a related topic
Semiformální modelování procesů na základě formálních omezení
(Jiří Besta)2023, Diplomová práce, Fakulta elektrotechniky a informatiky / VŠB – Technická univerzita Ostrava
• http://hdl.handle.net/10084/150315 | Informační a komunikační technologie / Informatika a výpočetní technika | Theses on a related topic
Semiformálne modelovanie s využitím formálnych obmedzení a transformácie medzi notáciami procesov - notácia BPMN
(Martin Šarlák)2022, Diplomová práce, Fakulta elektrotechniky a informatiky / VŠB – Technická univerzita Ostrava
• http://hdl.handle.net/10084/147369 | Informační a komunikační technologie / Informatika a výpočetní technika | Theses on a related topic
Semiformální modelování procesů na základě formálních omezení
(Vojtěch Ferák)2023, Diplomová práce, Fakulta elektrotechniky a informatiky / VŠB – Technická univerzita Ostrava
• http://hdl.handle.net/10084/150308 | Informační a komunikační technologie / Informatika a výpočetní technika | Theses on a related topic
Formální modelování softwarových procesů
(Břetislav Paláček)2013, Diplomová práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/98584 | Informační a komunikační technologie / Informatika a výpočetní technika | Theses on a related topic