Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B

Inna Vistbakka, Mikhail Barash, Elena Troubitsyna

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

6 Citeringar (Scopus)

1 resultat

LARA: Learning and Assessing Risks for Enhancing Dependability of Autonomous Socio- Technical Systems
Troubitsyna, E., Vistbakka, I. & Majd, A.
01/01/18 → 31/12/19
Projekt: Finlands Akademi/Övriga Forskningsråd