Continuous Behaviour in Event-B: A Sketch.

Richard Banach Huibiao Zhu Wen Su Xiaofeng Wu

Published in: ABZ (2012)

Keyphrases

event detection
data structure
news articles
information systems
query processing
event recognition
continuous data
discrete data
events occur