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

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig

Originalspråk	Engelska
Titel på värdpublikation	Proceedings of the 15th Nordic Workshop on Programming Theory - NWPT'03
Utgivningsort	Turku, Finland
Sidor	51-53
Status	Publicerad - 2003
MoE-publikationstyp	B3 Ej refererad artikel i konferenshandlingar

MATISSE: Methodologies and Technologies for Industrial Strength Systems Engineering (IST-1999-11435) (EU-project)
Walden, M. (CoPI), Sere, K. (Ansvarig forskare), Troubitsyna, E. (CoPI), Petre, L. (CoI), Boström, P. (CoI), Tsiopoulos, L. (CoI), Jansson, M. (CoI) & Engblom, N. (CoI)
01/05/00 → 28/02/03
Projekt: EU

Projekt