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

> Research article (IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2017) · cited 30× · AI/ML

**Wikidata**: [openalex:W2592147877](https://www.wikidata.org/wiki/openalex:W2592147877)  
**Source**: https://4ort.xyz/entity/quantitative-performance-evaluation-of-uncertainty-aware-hybrid-aadl-designs-using-statistical-model-checking