Extension of Event Based B for development of grid systems

Pontus Boström, Marina Walden

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

AlkuperäiskieliEnglanti
OtsikkoProceedings of the 16th Nordic Workshop on Programming Theory - NWPT'04
JulkaisupaikkaUppsala, Sweden
Sivut110-112
TilaJulkaistu - 2004
OKM-julkaisutyyppiB3 Ei-soviteltu artikkeli konferenssin julkaisusarjassa

Viittausmuodot