Automatic Synthesis of Static Fault Trees from System Models

Jianwen Xiang, Kazuo Yanoo, Yoshiharu Maeno, Kumiko Tadano. Automatic Synthesis of Static Fault Trees from System Models. In Fifth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011, 27-29 June, 2011, Jeju Island, Korea. pages 127-136, IEEE, 2011. [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

Yoshiharu Maeno

This author has not been identified. Look up 'Yoshiharu Maeno' in Google

Kumiko Tadano

This author has not been identified. Look up 'Kumiko Tadano' in Google