Login / Signup
Model inference and security testing in the spacios project.
Matthias Büchler
Karim Hossen
Petru Florin Mihancea
Marius Minea
Roland Groz
Catherine Oriat
Published in:
CSMR-WCRE (2014)
Keyphrases
</>
probabilistic model
computational model
statistical model
formal model
neural network
cost function
case study
high level
gibbs sampling
data sets
prior knowledge
hidden markov models
management system
conceptual model
bayesian inference
risk assessment