Old Web
English
Sign In
Acemap
>
Paper
>
Verification of operation sequence for substation switching equipment
Verification of operation sequence for substation switching equipment
1984
Keinosuke Matsumoto
Toshiaki Sakaguchi
Keywords:
Electronic engineering
Computational logic
Control engineering
Energy system
Power transmission
Electric power
Temporal logic
Propositional calculus
Electric power system
Mathematics
Engineering
Correction
Source
Cite
Save
Machine Reading By IdeaReader
3
References
0
Citations
NaN
KQI
[]