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

  • Walden, Marina (CoPI)
  • Sere, Kaisa (Vastuullinen tutkija)
  • Troubitsyna, Elena (CoPI)
  • Petre, Luigia (CoI)
  • Boström, Pontus (CoI)
  • Tsiopoulos, Leonidas (CoI)
  • Jansson, Micaela (CoI)
  • Engblom, Niklas (CoI)
  • 4 Tutkimusraportti
  • 3 Konferenssiartikkeli
  • 1 Artikkeli
Suodatin
Konferenssiartikkeli

Hakutulokset

  • 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

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen

  • 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

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen

  • 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

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen