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

Research output: Chapter in Book/Conference proceeding › Published conference proceeding › Scientific

Original language	English
Title of host publication	Proceedings of the 15th Nordic Workshop on Programming Theory - NWPT'03
Place of Publication	Turku, Finland
Pages	51-53
Publication status	Published - 2003
MoE publication type	B3 Non-refereed article in conference proceedings

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

Projects