A Model Checking Approach to Testing the Reliability of Smart Grid Protection Systems
Hamman, Seth T., Hopkinson, Kenneth M., Fadul, Jose E.Année:
2016
Langue:
english
Journal:
IEEE Transactions on Power Delivery
DOI:
10.1109/tpwrd.2016.2635480
Fichier:
PDF, 505 KB
english, 2016