Conference contribution

Search results

  • 2018

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

    Vistbakka, I., Barash, M. & Troubitsyna, E., 2018, Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings. Butler, M. J., Raschke, A., Son Hoang, T. & Reichl, K. (eds.). Springer, p. 386–391

    Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

    6 Citations (Scopus)