Trace Refinement in B and Event-B.

Sebastian Stock Atif Mashkoor Michael Leuschel Alexander Egyed

Published in: CoRR (2022)

Keyphrases

event detection
event recognition
event driven
refinement process
activity recognition
data sets
machine learning
decision trees
multiscale
search algorithm
text mining
news articles
event sequences
temporal structure