Proceedings of the Korean Nuclear Society Conference (한국원자력학회:학술대회논문집)
- 2002.10a
- /
- Pages.100.2-100
- /
- 2002
A Usability Review for of Model Checker VIS for the Verification of NPP I&C System Safety Software
원전계측제어시스템 안전소프트웨어 검증을 위한 모델체커 VIS의 활용성 고찰
Abstract
Keywords