Formal Dependability Modeling and Analysis: A Survey.

Waqar Ahmad Osman Hasan Sofiène Tahar

Published in: CoRR (2016)

Keyphrases

machine learning
quantitative analysis
formal model
formal analysis
neural network
computer vision
decision trees
three dimensional
information technology
ambient intelligence
modeling language
statistical modeling
modeling framework
failure modes and effects