[IEEE 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE) - Beijing, China (2012.07.4-2012.07.6)] 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering - Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study
Yuksel, Ender, Zhu, Huibiao, Nielson, Hanne Riis, Huang, Heqing, Nielson, FlemmingYear:
2012
Language:
english
DOI:
10.1109/TASE.2012.44
File:
PDF, 574 KB
english, 2012