La validation de modèles Event-B avec le plug-in ProB pour RODIN.

Jens Bendisposto Michael Leuschel O. Ligot Mireille Samia

Published in: Tech. Sci. Informatiques (2008)

Keyphrases

event detection
news articles
temporal patterns
event driven
event recognition
complex events
databases
clustering algorithm
similarity measure
search algorithm
spatio temporal
video analysis
condition action rules