Login / Signup
From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study.
Miroslav Pajic
Zhihao Jiang
Insup Lee
Oleg Sokolsky
Rahul Mangharam
Published in:
IEEE Real-Time and Embedded Technology and Applications Symposium (2012)
Keyphrases
</>
case study
computational model
high level
decision making
real world
theoretical analysis
cost function
architectural model
neural network model
experimental data
management system
probability distribution
probabilistic model
prior knowledge
bayesian networks
database systems
machine learning