SOFTWARE VERIFICATION AND VALIDATION METHODOLOGY FOR ADVANCED DIGITAL REACTOR PROTECTION SYSTEM USING DIVERSE DUAL PROCESSORS TO PREVENT COMMON MODE FAILURE

  • 발행 : 2001.05.01