[IEEE 2017 Conference on Electrical Power Distribution Networks Conference (EPDC) - Semnan, Iran (2017.4.19-2017.4.20)] 2017 Conference on Electrical Power Distribution Networks Conference (EPDC) - Formal verification of fault location, isolation and service restoration in distribution automation using UPPAAL
Abadi, S. M. N. R, Mahmoodi, M., Fereidunian, A., Jahandoust, G., Leasni, H.Year:
2017
Language:
english
DOI:
10.1109/EPDC.2017.8012747
File:
PDF, 589 KB
english, 2017