Stanislav Rudakov

Harmonization of IEEE 1012 and IEC 60880 standards regarding verification and validation of nuclear power plant safety systems software using model-based methodology

Charles E. Dickerson, Stanislav Rudakov, C. Dickerson, 2017 .