Automatic Static Fault Tree Analysis from System Models

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]

Authors

Jianwen Xiang

This author has not been identified. Look up 'Jianwen Xiang' in Google

Kazuo Yanoo

This author has not been identified. Look up 'Kazuo Yanoo' in Google