Fingerprint
Dive into the research topics of 'Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking
Yongxiang Bao, Mingsong Chen*, Qi Zhu, Tongquan Wei, Frederic Mallet, Tingliang Zhou
*Corresponding author for this work
Research output: Contribution to journal › Article › peer-review
24
Scopus
citations