Práce na stejné téma (mají shodná klíčová slova):
formal modelingKlíčová slova abecedně | Klíčová slova dle četnosti
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 / | Práce na příbuzné téma
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 | Práce na příbuzné téma
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 | Práce na příbuzné téma
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 | Práce na příbuzné téma
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 | Práce na příbuzné téma
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 | Práce na příbuzné téma
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 | Práce na příbuzné téma