Verifying Reliability (Dagstuhl Seminar 12341).

Görschwin Fey Masahiro Fujita Natasa Miskov-Zivanov Kaushik Roy Matteo Sonza Reorda

Published in: Dagstuhl Reports (2012)

Keyphrases

reliability analysis
failure rate
learning algorithm
multiscale
real world
machine learning
information retrieval
feature selection
digital libraries
information technology
model checking