2007 |
3 | EE | Horst Miedl,
Jang-Soo Lee,
Arndt Lindner,
Ernst Hoffman,
Josef Märtz,
Young-Jun Lee,
Jong-Gyun Choi,
Jang-Yeol Kim,
Kyoung-Ho Cha,
Se Woo Cheon,
Cheol-Kwon Lee,
Gee-Yong Park,
Kee-Choon Kwon:
Defense-in-Depth and Diverse Qualification of Safety-Critical Software.
SAFECOMP 2007: 258-263 |
2006 |
2 | EE | Jang-Soo Lee,
Arndt Lindner,
Jong-Gyun Choi,
Horst Miedl,
Kee-Choon Kwon:
Software Safety Lifecycles and the Methods of a Programmable Electronic Safety System for a Nuclear Power Plant.
SAFECOMP 2006: 85-98 |
1998 |
1 | EE | Arndt Lindner:
ANSI-C in Safety Critical Applications - Lessons-Learned from Software Evaluation.
SAFECOMP 1998: 209-217 |