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

Sökresultat

• Slutfört

  MATISSE: Methodologies and Technologies for Industrial Strength Systems Engineering (IST-1999-11435) (EU-project)

  Walden, M., Sere, K., Troubitsyna, E., Petre, L., Boström, P., Tsiopoulos, L., Jansson, M. & Engblom, N.

  01/05/00 → 28/02/03

  Projekt: EU