A Qualitative Safety Analysis Method for AADL Model

Bin Gu, Yunwei Dong, Xiaomin Wei. A Qualitative Safety Analysis Method for AADL Model. In IEEE Eighth International Conference on Software Security and Reliability, SERE 2014, San Francisco, CA, USA, June 30 - July 2, 2014 - Companion Volume. pages 213-217, IEEE, 2014. [doi]

No reviews for this publication, yet.