Adaptive Integrated Formal Design of Safety-Critical Systems (Academy of Finland)

  • Walden, Marina (Principal Investigator)
  • Olszewska, Marta (Co-Investigator)
  • Edmunds, Andrew (Co-Investigator)
  • Ostroumov, Sergey (Co-Investigator)
  • Petre, Luigia (Co-Investigator)
  • Boström, Pontus (Co-Investigator)
  • Neovius, Mats (Co-Investigator)
Filter
Chapter

Search results

  • Chapter

    A Provably Correct Resilience Mediator Pattern

    Neovius, M., Rönkkö, M. & Walden, M., 2016, From Action Systems to Distributed Systems - The Refinement Approach. Petre, L. & Sekerinski, E. (eds.). CRC Press, p. 125–139

    Research output: Chapter in Book/Conference proceeding › Chapter › Scientific › peer-review