Proceedings of the Korean Nuclear Society Conference (한국원자력학회:학술대회논문집)
- 2001.05a
- /
- Pages.99.2-99
- /
- 2001
Applying Formal Method to Design of Nuclear Power Plant Embedded Protection System
원자력 발전소 내장형 Protection 시스템의 설계에 대한 정형기법의 적용
Abstract
Keywords