Trace Refinement in B and Event-B.

Sebastian Stock Atif Mashkoor Michael Leuschel Alexander Egyed

Published in: ICFEM (2022)

Keyphrases

event detection
event recognition
learning algorithm
relational databases
refinement process
events occur
database
decision trees
video sequences
event driven