Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking.
| Autor: | Bao, Yongxiang1, Chen, Mingsong1, Zhu, Qi2, Wei, Tongquan1, Mallet, Frederic3, Zhou, Tingliang4 |
|---|---|
| Zdroj: | IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems. Dec2017, Vol. 36 Issue 12, p1989-2002. 14p. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|