Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking
| Title | Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking |
| Publication Type | Journal Article |
| Year of Publication | 2017 |
| Authors | Y. Bao, M. Chen, Q. Zhu, T. wei, F. Mallet, T. Zhou |
| Journal | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems |
| Volume | PP |
| Pagination | 1-1 |
| ISSN | 0278-0070 |
| Keywords | 1553757, 1646381 |
| DOI | 10.1109/TCAD.2017.2681076 |
| Citation Key | 7875425 |