Reachability Analysis for the Verification of Adaptive Protection Setting Selection Logic (2014)
Attributed to:
SUPERGEN 1 Renewal Core - FlexNet: Renewal of the Supergen consortium on Future Network Technologies
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1109/tpwrd.2014.2304614
Publication URI: http://dx.doi.org/10.1109/tpwrd.2014.2304614
Type: Journal Article/Review
Parent Publication: IEEE Transactions on Power Delivery
Issue: 5