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

Inna Vistbakka, Mikhail Barash, Elena Troubitsyna

Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

5 Citeringar (Scopus)
Filter
Slutfört

Sökresultat