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

Ender Yuksel, Hanne Riis Nielson, Flemming Nielson, Huibiao Zhu, Heqing Huang

Research output: Contribution to journalJournal articleResearchpeer-review

Fingerprint

Dive into the research topics of 'Quantitative modelling and analysis of a Chinese smart grid: a stochastic model checking case study'. Together they form a unique fingerprint.

Keyphrases

Computer Science