Arndt Lindner
Horst Miedl
Jang-Soo Lee
Arndt Lindner
Ernst Hoffman
Josef Märtz
Young-Jun Lee
Jong-Gyun Choi
Jangyeol 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.
258-263
2007
conf/safecomp/2007
SAFECOMP
https://doi.org/10.1007/978-3-540-75101-4_24
db/conf/safecomp/safecomp2007.html#MiedlLLHMLCKCCLPK07
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.
85-98
2006
conf/safecomp/2006
SAFECOMP
https://doi.org/10.1007/11875567_7
db/conf/safecomp/safecomp2006.html#LeeLCMK06
Arndt Lindner
ANSI-C in Safety Critical Applications - Lessons-Learned from Software Evaluation.
209-217
https://doi.org/10.1007/3-540-49646-7_16
1998
conf/safecomp/1998
SAFECOMP
db/conf/safecomp/safecomp98.html#Lindner98
Kyoung-Ho Cha
Se Woo Cheon
Jong-Gyun Choi
Ernst Hoffman
Jangyeol Kim
Kee-Choon Kwon
Cheol-Kwon Lee
Jang-Soo Lee
Young-Jun Lee
Josef Märtz
Horst Miedl
Gee-Yong Park