Scaling Up with Event-B: A Case Study.

Faqing Yang Jean-Pierre Jacquot

Published in: NASA Formal Methods (2011)

Keyphrases

event detection
case study
event recognition
test bed
event sequences
neural network
database
databases
data mining
image processing
evolutionary algorithm
mobile robot
news articles
instance selection
event driven
complex events