Guoying Lin, Feng Pan, Shi-Xiang Lu, Kunqi Jia, Guangyu He, Yang Lin. A Formal Approach to Testing Logical Reliablity of Intelligent Device in Home Energy Management System. In 2018 IEEE PES Innovative Smart Grid Technologies Conference Europe, ISGT-Europe 2018, Sarajevo, Bosnia and Herzegovina, October 21-25, 2018. pages 1-6, IEEE, 2018. [doi]
Abstract is missing.