원전계측제어시스템 안전소프트웨어 검증을 위한 모델체커 VIS의 활용성 고찰

A Usability Review for of Model Checker VIS for the Verification of NPP I&C System Safety Software

  • 발행 : 2002.10.01