Trace preservation in B and Event-B refinements.

Sebastian Stock Atif Mashkoor Michael Leuschel Alexander Egyed

Published in: J. Log. Algebraic Methods Program. (2024)

Keyphrases

event detection
event driven
real time
multimedia
complex events
computer vision
metadata
high level
multi agent systems
news stories
event sequences
abnormal events
video event
execution traces