Sign in

Trace Refinement in B and Event-B.

Sebastian StockAtif MashkoorMichael LeuschelAlexander 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