Semiformálne modelovanie s využitím formálnych obmedzení a transformácie medzi notáciami procesov - diagram aktivít UML
Další název
Semiformální modelování s využitím formálních omezení a transformace mezi notacemi procesů - diagram aktivit UML Semiformal modeling using formal constraints and transformation between process notations – Activity diagram notation
Studijní program
Informační a komunikační technologie
Studijní obor
Informatika a výpočetní technika
Instituce přidělující titul
Vysoká škola báňská – Technická univerzita Ostrava. Fakulta elektrotechniky a informatiky
Přístupová práva
openAccess