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