Xiaomin Wei, Yunwei Dong, Hong Ye. QaSten: Integrating Quantitative Verification with Safety Analysis for AADL Model. In 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015, Nanjing, China, September 12-14, 2015. pages 103-110, IEEE Computer Society, 2015. [doi]
Abstract is missing.