Login / Signup
Handling B models in the PERF integrated verification framework: Formalised and certified embedding.
Alexandra Halchin
Yamine Aït Ameur
Neeraj Kumar Singh
Julien Ordioni
Abderrahmane Feliachi
Published in:
Sci. Comput. Program. (2020)
Keyphrases
</>
probabilistic model
modeling framework
mathematical framework
main contribution
conceptual framework
spatial constraints
web services
statistical model
statistical models
bayesian framework
neural network
model selection
computational model
regression model
process model
data hiding