Login / Signup
Model transformation for analyzing dependability of AADL model by using HiP-HOPS.
Zhibao Mian
Leonardo Bottaci
Yiannis Papadopoulos
Nidhal Mahmud
Published in:
J. Syst. Softw. (2019)
Keyphrases
</>
computational model
cost function
probabilistic model
statistical model
high level
management system
theoretical analysis
linear model
network model
object model
formal model
sensitivity analysis
experimental data
database
markov chain
objective function
decision making
data mining