Jianwen Xiang, Kazuo Yanoo. Automatic Static Fault Tree Analysis from System Models. In Yutaka Ishikawa, Dong Tang, Hiroshi Nakamura, editors, 16th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2010, Tokyo, Japan, December 13-15, 2010. pages 241-242, IEEE Computer Society, 2010. [doi]
Abstract is missing.