한국원자력학회:학술대회논문집 (Proceedings of the Korean Nuclear Society Conference)

한국원자력학회 (Korean Nuclear Society)
권호 표지

원자력 발전소 내장형 Protection 시스템의 설계에 대한 정형기법의 적용

Applying Formal Method to Design of Nuclear Power Plant Embedded Protection System

  • 김진현 (고려대학교 컴퓨터공학과) ;
  • 김일곤 (고려대학교 컴퓨터공학과) ;
  • 성창훈 (고려대학교 컴퓨터공학과) ;
  • 최진영 (고려대학교 컴퓨터공학과) ;
  • 이나영 (서울대학교 원자핵공학과)
  • 발행 : 2001.05.01
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

키워드