Shared Event Composition/Decomposition in Event-B.

Renato Silva Michael J. Butler

Published in: FMCO (2010)

Keyphrases

event detection
event driven
event recognition
process model
events occur
social networks
image segmentation
data structure
video sequences
news articles
video event