Harmonization of IEEE 1012 and IEC 60880 standards regarding verification and validation of nuclear power plant safety systems software using model-based methodology
Author:
Stanislav Rudakov,Charles E. Dickerson
Publication:
Progress in Nuclear Energy
© 2017 Elsevier Ltd. All rights reserved.