A Verification Framework for FBD Based Software in Nuclear Power Plants.

Junbeom Yoo Sung Deok Cha Eunkyoung Jee

Published in: APSEC (2008)

Keyphrases

nuclear power plant
cooperative
safety critical
safety analysis
neural network
user interface
knowledge base