Correct by Prognosis: Methodology for a Contract-Based Refinement of Evolution Models.

Tayfun Gezgin Christoph Etzien

Published in: CSDM (Posters) (2014)

Keyphrases

probabilistic model
analytical models
bayesian framework
databases
neural network
artificial neural networks
statistical models
statistical methods
mathematical models
predictive model
accurate models