Login / Signup
Arndt Lindner
Publication Activity (10 Years)
Years Active: 1998-2007
Publications (10 Years): 0
</>
Publications
</>
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.
SAFECOMP
(2007)
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)
Arndt Lindner
ANSI-C in Safety Critical Applications - Lessons-Learned from Software Evaluation.
SAFECOMP
(1998)