An Interval-Based Approach to Modelling Time in Event-B.

Gintautas Sulskus Michael Poppleton Abdolbaghi Rezazadeh

Published in: FSEN (2015)

Keyphrases

event detection
database
computer vision
artificial neural networks
event driven
event recognition
search engine
event types
interval analysis
condition action rules