QuanSafe: A DTBN-Based Framework of Quantitative Safety Analysis for AADL Models.

Yiwei Zhu, Jing Liu, Haiying Sun, Wei Yin, Jiexiang Kang

Browse the full ICECCS paper archive.