Test Criteria Definition for B Models.

Salimeh Behnia Hélène Waeselynck

Published in: World Congress on Formal Methods (1999)

Keyphrases

probabilistic model
regression model
databases
learning algorithm
e learning
multiscale
control system
statistical model
experimental data
statistical models
neural network model
random fields
statistical tests
statistical significance
selection criteria