최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기Journal of the Korean Nuclear Society = 원자력학회지, v.28 no.6, 1996년, pp.594 - 601
Son, Ki-Chang (Korea Atomic Energy Research Institute) , Chun, Chong-Son (Korea Atomic Energy Research Institute) , Lee, Byeong-Joo (Korea Atomic Energy Research Institute) , Lee, Soon-Sung (Korea Atomic Energy Research Institute) , Lee, Byung-Chai (Korea Atomic Energy Research Institute)
To assure quality of safety critical software, software should be developed in accordance with software development procedures and rigorous software verification and validation should be performed. Software verification is the formal act of reviewing, testing or checking, and documenting whether sof...
*원문 PDF 파일 및 링크정보가 존재하지 않을 경우 KISTI DDS 시스템에서 제공하는 원문복사서비스를 사용할 수 있습니다.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.