Event-B Formalization of Event-B Contexts.

Jean-Paul Bodeveix Mamoun Filali

Published in: ABZ (2021)

Keyphrases

event detection
news articles
formal model
event recognition
databases
genetic algorithm
image sequences
spatio temporal
social media
news stories
event sequences