Automatic Static Fault Tree Analysis from System Models.

Jianwen Xiang, Kazuo Yanoo

Browse the full PRDC paper archive.