On requirements verification for model refinements.

Carlo Ghezzi Claudio Menghi Amir Molzam Sharifloo Paola Spoletini

Published in: RE (2013)

Keyphrases

formal model
theoretical framework
probability distribution
machine learning
network model
mathematical model
computational model
theoretical analysis
high level
input data
management system
probabilistic model
statistical model
neural network model
information retrieval
parameter values
real time
linear model