TY  - RPRT
TI  - A Redundancy-Guided Approach for the Hazard Analysis of Digital Instrumentation and Control Systems in Advanced Nuclear Power Plants
AU  - Tate Shorthill
AU  - Han Bao
AU  - Hongbin Zhang
AU  - Heng Ban
PY  - 2020
UR  - https://arxiv.org/abs/2005.02348
ID  - 2005.02348
ER  -