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

  • Walden, Marina (CoPI)
  • Sere, Kaisa (Ansvarig forskare)
  • Troubitsyna, Elena (CoPI)
  • Petre, Luigia (CoI)
  • Boström, Pontus (CoI)
  • Tsiopoulos, Leonidas (CoI)
  • Jansson, Micaela (CoI)
  • Engblom, Niklas (CoI)
  • 4 Beställd rapport
  • 3 Publicerad konferensartikel
  • 1 Artikel
Filter
Publicerad konferensartikel

Sökresultat

  • 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, s. 51-53

    Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig

  • 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

    Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig

  • 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

    Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig