Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B.

Jean-Raymond Abrial Stefan Hallerstede

Published in: Fundam. Informaticae (2007)

Keyphrases

real time
statistical models
parametric models
event driven
data sets
feature selection
prior knowledge
denoising
decision support
parameter estimation
event detection
classification models
mathematical models
finite number
discrete data
accurate models