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

Tutkimustuotos

Julkaisuja vuodessa 2014 2015 2016 2017 2020

• 13 Konferenssiartikkeli
• 10 Tutkimusraportti
• 2 Artikkeli
• 1 Luku
• 1 Lisää
  • 1 Tohtorinväitöskirja

Julkaisuja vuodessa

Julkaisuja vuodessa

Hakutulokset

• 2016

  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. (toim.). CRC Press, s. 125–139

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu