A Method for Constructing Fault Trees from AADL Models.

Yue Li, Yian Zhu, Chunyan Ma, Meng Xu

Browse the full ATC paper archive.