A case study: Implementation of control systems using B-Action Systems

Pontus Boström, Marina Walden

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen

AlkuperäiskieliEnglanti
OtsikkoProceedings of the 15th Nordic Workshop on Programming Theory - NWPT'03
JulkaisupaikkaTurku, Finland
Sivut51-53
TilaJulkaistu - 2003
OKM-julkaisutyyppiB3 Ei-soviteltu artikkeli konferenssin julkaisusarjassa
  • 1 Päättynyt

Viittausmuodot