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

  • Walden, Marina (CoPI)
  • Sere, Kaisa (PI)
  • Troubitsyna, Elena (CoPI)
  • Petre, Luigia (CoI)
  • Boström, Pontus (CoI)
  • Tsiopoulos, Leonidas (CoI)
  • Jansson, Micaela (CoI)
  • Engblom, Niklas (CoI)
Filter
Conference contribution

Search results

  • 2003

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

    Boström, P. & Walden, M., 2003, Proceedings of the 15th Nordic Workshop on Programming Theory - NWPT'03. Turku, Finland, p. 51-53

    Research output: Chapter in Book/Conference proceedingConference contributionScientific

  • 2002

    A Healthcare Case Study

    Petre, L., Troubitsyna, E. & Walden, M., 2002, Proceedings of RCS'02 - International workshop on Refinement of Critical Systems: Methods, Tools and Experience. Grenoble, France

    Research output: Chapter in Book/Conference proceedingConference contributionScientific

  • Use of U2B for Specifying B Action Systems

    Snook, C. & Walden, M., 2002, Proceedings of RCS'02 - International workshop on Refinement of Critical Systems: Methods, Tools and Experience. Grenoble France

    Research output: Chapter in Book/Conference proceedingConference contributionScientific