Login / Signup

The behavioural semantics of Event-B refinement.

Steve A. SchneiderHelen TreharneHeike Wehrheim
Published in: Formal Aspects Comput. (2014)
Keyphrases
  • formal semantics
  • event detection
  • logic programming
  • semantic information
  • data sets
  • spatio temporal
  • information systems
  • video sequences
  • domain knowledge
  • logic programs
  • video data
  • news articles
  • event recognition