PLC-Based Safety Critical Software Development for Nuclear Power Plants.

Junbeom Yoo, Sung Deok Cha, Han Seong Son, Chang Hwoi Kim, Jang-Soo Lee

Browse the full SAFECOMP paper archive.