Derivation of algorithmic control structures in Event-B refinement.

Mohammadsadegh Dalvandi Michael J. Butler Abdolbaghi Rezazadeh

Published in: Sci. Comput. Program. (2017)

Keyphrases

control structures
control structure
event detection
news articles
event driven
event recognition
image interpretation
real time
neural network
case study
pattern recognition
low level
knowledge representation
image classification
event sequences
complex events