Fitting the pieces together: a machine-checked model of safe composition.

Benjamin Delaware William R. Cook Don S. Batory

Published in: ESEC/SIGSOFT FSE (2009)

Keyphrases

computational model
probabilistic model
experimental data
mathematical model
conceptual model
network model
computer vision
probability distribution
real time
supply chain
autoregressive
prediction model
theoretical framework
management system
prior knowledge
information systems
machine learning
data sets