Login / Signup

The Composition of Event-B Models.

Michael Poppleton
Published in: ABZ (2008)
Keyphrases
  • statistical models
  • event recognition
  • data sets
  • case study
  • probabilistic model
  • complex systems
  • machine learning
  • information retrieval
  • similarity measure
  • prior knowledge
  • experimental data
  • computational models