|
[LZW+16]
Lulu Liang, Kai Zheng, Zilong Wei, Yanmei Wang, Sihan Wu and Xin Huang.
Model Checking of IoT System in Microgrid.
In Proc. IEEE International Symposium on Information in Medicine and Education (ITME'16).
2016.
[Verifies the reliability of IoT systems in microgrids using probabilistic model checking and PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|