Automatic Refinement for Event-B through Annotated Patterns.

Badr Siala Jean-Paul Bodeveix Mamoun Filali Mohamed Tahar Bhiri

Published in: PDP (2017)

Keyphrases

temporal patterns
manual annotation
design patterns
pattern analysis
event streams
data mining techniques
hand crafted
event detection
fully automatic
interesting patterns
event driven
event recognition
temporal events
pattern mining
news articles
neural network
hidden markov models
data mining