Yue Li, Yi an Zhu, Chun-yan Ma, Meng Xu. A Method for Constructing Fault Trees from AADL Models. In Jose M. Alcaraz Calero, Laurence Tianruo Yang, Félix Gómez Mármol, Luis Javier García-Villalba, Andy Xiaolin Li, Yan Wang 0002, editors, Autonomic and Trusted Computing - 8th International Conference, ATC 2011, Banff, Canada, September 2-4, 2011. Proceedings. Volume 6906 of Lecture Notes in Computer Science, pages 243-258, Springer, 2011. [doi]
Abstract is missing.