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

Arndt Lindner

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
3EEHorst 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
2EEJang-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
1EEArndt 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]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)