Old Web
English
Sign In
Acemap
>
Paper
>
Testing the Fault Tolerance of a Wide Area Backup Protection System using SPIN
Testing the Fault Tolerance of a Wide Area Backup Protection System using SPIN
2019
Kenneth James
Keywords:
Spin-½
Smart grid
Reliability engineering
Critical infrastructure
Fault tolerance
Backup
Model checking
Computer science
wide area
protection system
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]