Turku Centre for Computer Science

Publications

Research output per year 2010 2010 2018 2018

• 7 Citations
• 2 h-index
• 2 Article
• 1 Conference contribution

Research output per year

Research output per year

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 proceeding › Conference contribution › Scientific › peer-review
  5 Citations (Scopus)