• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Continuous Behaviour in Event-B: A Sketch.

Richard BanachHuibiao ZhuWen SuXiaofeng Wu
Published in: ABZ (2012)
Keyphrases
  • event detection
  • data structure
  • news articles
  • information systems
  • query processing
  • event recognition
  • continuous data
  • discrete data
  • events occur