Radni okvir za vizualno modeliranje i formalnu verifikaciju izvršavanja poslovnoga procesa temeljen na modelima s dvosmjernim preslikavanjem

Permalink: http://skupnikatalog.nsk.hr/Record/nsk.NSK01001070138
Ostali autori: Matković, Jelena, inženjerka računalstva (Dissertant), Fertalj, Krešimir (Thesis advisor)
Vrsta građe: Knjiga
Jezik: hrv
Impresum: Zagreb, 2019.
Predmet:
Online pristup: Radni okvir za vizualno modeliranje i formalnu verifikaciju izvršavanja poslovnoga procesa temeljen na modelima s dvosmjernim preslikavanjem