[UNI19]
Riaz Uddin, Syed Atif Naseem and Zafar Iqbal.
Formal Reliability Analyses of Power Line Communication Network-based Control in Smart Grid.
International Journal of Control, Automation and Systems, Springer.
2019.
[Analyses the reliability of smart grid communication networks using probabilistic model checking and PRISM.]
|
Notes:
The original publication is available at link.springer.com.
|
Links:
[Google]
[Google Scholar]
|