Quantitative Analysis of Variation-Aware Internet of Things Designs Using Statistical Model Checking.

Siyuan Xu, Weikai Miao, Thomas Kunz, Tongquan Wei, Mingsong Chen

Browse the full QRS paper archive.