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