Login / Signup

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

Inna VistbakkaMikhail BarashElena Troubitsyna
Published in: ABZ (2018)
Keyphrases
  • dynamic access control
  • access control
  • event detection
  • event driven
  • databases
  • real world
  • computer vision
  • video sequences
  • stream processing
  • event recognition
  • complex events