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

Horst Miedl

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

2008
3 Horst Miedl, Josef Märtz: Qualifizierung integrierter Werkzeugumgebungen für die Erstellung sicherheitsrelevanter Software in Kernkraftwerken. Sicherheit 2008: 589-593
2007
2EEHorst 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
1EEJang-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

Coauthor Index

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

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