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

  • Walden, Marina (Co-Principal Investigator)
  • Sere, Kaisa (Principal Investigator)
  • Troubitsyna, Elena (Co-Principal Investigator)
  • Petre, Luigia (Co-Investigator)
  • Boström, Pontus (Co-Investigator)
  • Tsiopoulos, Leonidas (Co-Investigator)
  • Jansson, Micaela (Co-Investigator)
  • Engblom, Niklas (Co-Investigator)
  • 4 Commissioned report
  • 3 Conference contribution
  • 1 Article
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 proceeding › Conference contribution › Scientific

  • 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 proceeding › Conference contribution › Scientific

  • 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 proceeding › Conference contribution › Scientific