Dmitrii Drozdov, Sandeep Patil, Chen-Wei Yang, Gulnara Zhabelova, Valeriy Vyatkin. Formal Verification of Protection Functions for Power Distribution Networks. In IECON 2018 - 44th Annual Conference of the IEEE Industrial Electronics Society, Washington, DC, USA, October 21-23, 2018. pages 3550-3555, IEEE, 2018. [doi]
Abstract is missing.