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

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

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

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

  • 김진현 (고려대학교 컴퓨터공학과) ;
  • 김일곤 (고려대학교 컴퓨터공학과) ;
  • 성창훈 (고려대학교 컴퓨터공학과) ;
  • 최진영 (고려대학교 컴퓨터공학과) ;
  • 이나영 (서울대학교 원자핵공학과)
  • Published : 2001.05.01
Download PDF
⟨ Previous Next ⟩

Abstract

Keywords