Login / Signup
DAVOS: EDA Toolkit for Dependability Assessment, Verification, Optimisation and Selection of Hardware Models.
Ilya Tuzov
David de Andrés
Juan Carlos Ruiz
Published in:
DSN (2018)
Keyphrases
</>
complex systems
probabilistic model
low cost
mathematical models
image processing
machine learning algorithms
statistical model
real time
genetic algorithm
search engine
case study
prior knowledge
graphical models
software systems
model checking
statistical models