|
[YZN+12]
Ender Yüksel, Huibiao Zhu, Hanne Riis Nielson, Heqing Huang and Flemming Nielson.
Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study.
In Proc. 6th International Symposium on Theoretical Aspects of Software Engineering (TASE'12), pages 25-32, IEEE.
2012.
[Models and verifies a Chinese smart grid implementation using PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|