A case study in requirement analysis of control systems using UML and B

Search results

• 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