Experiments in program verification using Event-B.

Stefan Hallerstede Michael Leuschel

Published in: Formal Aspects Comput. (2012)

Keyphrases

event detection
data sets
multimedia
decision making
event driven
information retrieval
computer vision
e learning
data structure
news articles
temporal relations
event recognition
event models
events occurring