Extending ERS for Modelling Dynamic Workflows in Event-B.

Dana Dghaym Michael J. Butler Asieh Salehi Fathabadi

Published in: ICECCS (2017)

Keyphrases

event detection
databases
dynamic environments
data processing
database
spatio temporal
news articles
event driven