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

Pontus Boström, Marina Walden

Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskaplig

OriginalspråkEngelska
Titel på gästpublikationProceedings of the 15th Nordic Workshop on Programming Theory - NWPT'03
UtgivningsortTurku, Finland
Sidor51-53
StatusPublicerad - 2003
MoE-publikationstypB3 Ej refererad artikel i konferenshandlingar

Citera det här