Sign in
一种结合线性时序逻辑和故障树的软件安全验证方法 (Method Combining Linear Temporal Logic and Fault Tree for Software Safety Verification).
Fei Wang
Guohua Shen
Zhiqiu Huang
Lin Ma
Chang Liu
Haifeng Li
Lili Liao
Published in:
计算机科学 (2015)
Keyphrases
</>
fault tree
dynamic programming
simulation model
qualitative analysis
reliability analysis