Formal Verification of SDG via Symbolic Model Checking
暂无分享,去创建一个
[1] Eiji O'Shima,et al. A graphical approach to cause and effect analysis of chemical processing systems , 1980 .
[2] O. O. Oyeleye,et al. Qualitative simulation of chemical process systems: Steady‐state analysis , 1988 .
[3] Nicolás J. Scenna,et al. Fault diagnosis, direct graphs, and fuzzy logic , 1997 .
[4] Xiao De-yun. Probabilistic SDG Model and Approach to Inference for Fault Analysis , 2006 .
[5] H. Matsuyama,et al. A graphical approach to causes and effects analysis of chemical processing systems , 1979 .
[6] Wojciech Cholewa,et al. Fault Diagnosis , 2004, Springer Berlin Heidelberg.
[7] B. Shibata,et al. Fault diagnosis of chemical processes utilizing signed directed graphs-improvement by using temporal information , 1989 .