Quantitative modelling and analysis of a Chinese smart grid: a stochastic model checking case study

Ender YĆ¼ksel, Hanne Riis Nielson, Flemming Nielson, Huibiao Zhu, Heqing Huang. Quantitative modelling and analysis of a Chinese smart grid: a stochastic model checking case study. STTT, 16(4):421-435, 2014. [doi]

Abstract

Abstract is missing.