Login / Signup
Formally Verified Implementation of an Idealized Model of Virtualization.
Gilles Barthe
Gustavo Betarte
Juan Diego Campo
Jesús Mauricio Chimento
Carlos Luna
Published in:
TYPES (2013)
Keyphrases
</>
data sets
probabilistic model
statistical model
mathematical model
theoretical analysis
computational model
formal model
neural network model
prior knowledge
real time
bayesian networks
information retrieval
experimental data
conceptual model
data mining
neural network
network model
autoregressive