Login / Signup
A Qualitative Safety Analysis Method for AADL Model.
Bin Gu
Yunwei Dong
Xiaomin Wei
Published in:
SERE (Companion) (2014)
Keyphrases
</>
mathematical model
optimization model
safety analysis
dynamic programming
artificial intelligence