Refinement-based Validation of Event-B Specifications.

Atif Mashkoor Faqing Yang Jean-Pierre Jacquot

Published in: Softw. Syst. Model. (2017)

Keyphrases

event detection
event driven
neural network
information retrieval
news articles
formal specification
specification language
machine learning
social networks
high level
multi agent systems
temporal patterns
event logs
complex events
concurrent systems