An Event-B framework for the validation of Event-B refinement plugins.

Jean-Paul Bodeveix Mamoun Filali Mohamed Tahar Bhiri Badr Siala

Published in: CoRR (2017)

Keyphrases

event driven
event detection
publish subscribe systems
machine learning
lightweight
probabilistic model
temporal events
main contribution
data sets
computer vision
real world
image sequences
case study
information systems
bayesian framework
news stories
learning algorithm
data mining