The KNICS Approach for Verification and Validation of Safety Software

  • 발행 : 2003.05.01