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

Junbeom Yoo, Sung Deok Cha, Eunkyoung Jee

Browse the full APSEC paper archive.