Login / Signup
一种基于故障扩展SysML活动图的安全性验证框架研究 (Research on Framework of Safety Verification Based on Fault-extended SysML Activity Diagram).
Zhipeng Wu
Zhiqiu Huang
Shanshan Wang
Dejian Cao
Published in:
计算机科学 (2015)
Keyphrases
</>
safety analysis
formal methods
fault model
nuclear power plant
modeling language
data sets
lightweight
symbolic model checking
main contribution
conceptual framework
safety critical
databases
fuzzy logic
fault diagnosis
fault detection