Model exploration and analysis for quantitative safety refinement in probabilistic B

Ukachukwu Ndukwu Annabelle McIver

Published in: Refine@FM (2011)

Keyphrases

probabilistic model
statistical model
mathematical model
statistical analysis
experimental data
formal model
bayesian networks
objective function
evolutionary algorithm
probability distribution
graphical models
conceptual model
simulation model
prediction model
safety analysis