Event Ordering Using Graphical Notation for Event-B Models.

Rahul Karmakar Bidyut Biman Sarkar Nabendu Chaki

Published in: CISIM (2020)

Keyphrases

event detection
statistical models
database
data sets
probabilistic model
parameter estimation
news articles
data mining
statistical model
computational models
modeling language
event sequences
temporal sequences
event recognition
complex events