Arndt Lindner

Defense-in-Depth and Diverse Qualification of Safety-Critical Software

Jang-Soo Lee, Kee-Choon Kwon, Young-Jun Lee, 2007, SAFECOMP.

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

Jang-Soo Lee, Kee-Choon Kwon, Horst Miedl, 2006, SAFECOMP.

ANSI-C in Safety Critical Applications - Lessons-Learned from Software Evaluation

Arndt Lindner, 1998, SAFECOMP.