Login / Signup

External and internal choice with event groups in Event-B.

Michael J. Butler
Published in: Formal Aspects Comput. (2012)
Keyphrases
  • event detection
  • news articles
  • internal and external
  • condition action rules
  • multiscale
  • expert systems
  • wireless sensor networks
  • stream processing
  • temporal sequences
  • temporal events
  • real world events
  • event models