External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study

Ender Yüksel, Huibiao Zhu, Hanne Riis Nielson, Heqing Huang, Flemming Nielson. Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study. In Tiziana Margaria, Zongyan Qiu, Hongli Yang, editors, Sixth International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, 4-6 July 2012, Beijing, China. pages 25-32, IEEE, 2012. [doi]

Authors

Ender Yüksel

This author has not been identified. Look up 'Ender Yüksel' in Google

Huibiao Zhu

This author has not been identified. Look up 'Huibiao Zhu' in Google

Hanne Riis Nielson

This author has not been identified. Look up 'Hanne Riis Nielson' in Google

Heqing Huang

This author has not been identified. Look up 'Heqing Huang' in Google

Flemming Nielson

This author has not been identified. Look up 'Flemming Nielson' in Google
runs on