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