Deriving a mode logic using failure modes and effects analysis.
International Journal of Critical Computer-based Systems（2014）
关键词
failure modes and effects analysis,formal specification,fmea,fault tolerance
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要