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

Horst Miedl 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 keys2009
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Eidar Simensen, Christian Gerst, Bjørn Axel Gran, Josef Märtz, Horst Miedl: Establishing the Correlation between Complexity and a Reliability Metric for Software Digital I&C-Systems. SAFECOMP 2009: 55-66
2008
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHorst Miedl, Josef Märtz: Qualifizierung integrierter Werkzeugumgebungen für die Erstellung sicherheitsrelevanter Software in Kernkraftwerken. Sicherheit 2008: 589-593
2007
2Electronic 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
1Electronic 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

Coauthor Index

1Kyoung-Ho Cha [2]
2Se Woo Cheon [2]
3Jong-Gyun Choi [1] [2]
4Christian Gerst [4]
5Bjørn Axel Gran [4]
6Ernst Hoffman [2]
7Jang-Yeol Kim [2]
8Kee-Choon Kwon [1] [2]
9Cheol-Kwon Lee [2]
10Jang-Soo Lee [1] [2]
11Young-Jun Lee [2]
12Arndt Lindner [1] [2]
13Josef Märtz [2] [3] [4]
14Gee-Yong Park [2]
15John Eidar Simensen [4]

Last update Mon Jun 4 20:40:43 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