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

Pontus Boström
, Marina Walden

Information Technology

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

1 results

Filter

Finished

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