dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Arndt Lindner Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2007
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHorst 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
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJang-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
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArndt Lindner: ANSI-C in Safety Critical Applications - Lessons-Learned from Software Evaluation. SAFECOMP 1998: 209-217

Coauthor Index

1Kyoung-Ho Cha [3]
2Se Woo Cheon [3]
3Jong-Gyun Choi [2] [3]
4Ernst Hoffman [3]
5Jang-Yeol Kim [3]
6Kee-Choon Kwon [2] [3]
7Cheol-Kwon Lee [3]
8Jang-Soo Lee [2] [3]
9Young-Jun Lee [3]
10Josef Märtz [3]
11Horst Miedl [2] [3]
12Gee-Yong Park [3]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page