Hazard analysis for AADL model.

Xiaomin Wei Yunwei Dong Mengmeng Yang Ning Hu Hong Ye

Published in: RTCSA (2014)

Keyphrases

computational model
probabilistic model
mathematical model
statistical model
formal model
data sets
high level
probability distribution
conceptual model
case study
data analysis
management system
model selection
parameter estimation
theoretical framework
network model