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

Pontus Boström, Marina Walden

Forskningsoutput: Kapitel i bok/konferenshandlingPublicerad konferensartikelVetenskaplig

OriginalspråkEngelska
Titel på värdpublikationProceedings 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