Guidelines for Formal Domain Modeling in Event-B.

Atif Mashkoor Jean-Pierre Jacquot

Published in: HASE (2011)

Keyphrases

event detection
domain specific
news articles
modeling framework
formal representation
neural network
domain independent
modeling language
real time
databases
decision support system
cross domain
causal dependencies