한국원자력학회:학술대회논문집 (Proceedings of the Korean Nuclear Society Conference)
- 한국원자력학회 1999년도 추계학술발표회요약집
- /
- Pages.113.1-113
- /
- 1999
A Method of Formal Requirements Analysis for NPP I&C Systems Based on Object- oriented Visual Modeling with SCR
- Koo, Seo-Ryong (Korea Advanced Institute of Science and Technology) ;
-
Seong, Poong-Hyun
(Korea Advanced Institute of Science and Technology)
- 발행 : 1999.10.01