Formal Dependability Modeling and Analysis: A Survey.

Waqar Ahmad Osman Hasan Sofiène Tahar

Published in: CICM (2016)

Keyphrases

data analysis
statistical analysis
real time
databases
image processing
data sets
search algorithm
image analysis
data model
quantitative analysis
modeling framework
automatic analysis
formal analysis