Full Structural Model Refinement as Type Refinement of Colored Petri Nets

Diana-Elena Gratie, Ion Petre

Tutkimustuotos: Kirja/lehti/raporttiTutkimusraporttiAmmatillinen

1 Sitaatiot (Scopus)
AlkuperäiskieliEi tiedossa
KustantajaTurku Centre for Computer Science (TUCS)
ISBN (painettu)978-952-12-3209-1
TilaJulkaistu - 2015
OKM-julkaisutyyppiD4 Julkaistut kehitykset tai tutkimusraportit tai tutkimukset

Viittausmuodot