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

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

Sökresultat

  • Konferensbidrag

    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/konferenshandlingKonferensbidragVetenskaplig

  • 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/konferenshandlingKonferensbidragVetenskaplig

  • 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/konferenshandlingKonferensbidragVetenskaplig