Sign in

Trace preservation in B and Event-B refinements.

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