QaSten: Integrating Quantitative Verification with Safety Analysis for AADL Model.

Xiaomin Wei, Yunwei Dong, Hong Ye

Browse the full TASE paper archive.