Standard Conformance-by-Construction with Event-B.

Ismaïl Mendil Yamine Aït Ameur Neeraj Kumar Singh Dominique Méry Philippe A. Palanque

Published in: FMICS (2021)

Keyphrases

event detection
information systems
news articles
feature selection
case study
three dimensional
similarity measure
data structure
search algorithm
relational databases
temporal patterns
event driven
construction process
soccer video