Login / Signup

Refinement Tree and Its Patterns: A Graphical Approach for Event-B Modeling.

Kriangkrai TraichaiyapornToshiaki Aoki
Published in: FTSCS (2013)
Keyphrases
  • temporal patterns
  • tree structure
  • index structure
  • database
  • neural network
  • data mining techniques
  • temporal relations
  • similar patterns
  • event types
  • event streams