Login / Signup
Verification of withstand capability for very fast transients of a 200 MVA, 500 kV GSU transformer by modelling and testing.
A. Rabel
J.-J. Zhou
Published in:
Elektrotech. Informationstechnik (2020)
Keyphrases
</>
formal verification
symbolic execution
test generation
model checking
fuzzy logic
test cases
multi channel
formal analysis
power system
person identification
formal methods
reactive power
verification method
test data generation
transmission line
web services
static analysis
supply chain
decision trees