Formal Verification of Protection Functions for Power Distribution Networks.

Dmitrii Drozdov, Sandeep Patil, Chen-Wei Yang, Gulnara Zhabelova, Valeriy Vyatkin

Browse the full IECON paper archive.