Login / Signup

Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking.

Yongxiang BaoMingsong ChenQi ZhuTongquan WeiFrédéric MalletTingliang Zhou
Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2017)
Keyphrases