본문 바로가기
[학술저널]

원자로보호계통 소프트웨어 안전 확보를 위한 모델 체킹 및 테스팅 적용 사례 분석과 발전방향 제고

  • 학술저널

원자로보호계통 소프트웨어 안전 확보를 위한 모델 체킹 및 테스팅 적용 사례 분석과 발전방향 제고

지은경(한국과학기술원) 신동환(한국과학기술원) 배두환(한국과학기술원)

표지

북마크 0

리뷰 0

이용수 80

피인용수 0

목차

1. 서론
2. 원자로보호계통 소프트웨어 확인 및 검증 프로세스
3. 원자로보호계통 소프트웨어 정형 검증
4. 원자로보호계통 소프트웨어 구조적 테스팅
5. 소프트웨어 확인 및 검증 기술 적용 시 고려사항 및 발전방향
6. 결론
참고문헌

키워드

저자키워드
등록된 정보가 없습니다.

참고문헌(0)

리뷰(0)

도움이 되었어요.0

도움이 안되었어요.0

첫 리뷰를 남겨주세요.
Insert title here