Software Safety Lifecycles and the Methods of a Programmable Electronic Safety System for a Nuclear Power Plant.

Jang-Soo Lee, Arndt Lindner, Jong-Gyun Choi, Horst Miedl, Kee-Choon Kwon

Browse the full SAFECOMP paper archive.