2008 | ||
---|---|---|
2 | Horst Miedl, Josef Märtz: Qualifizierung integrierter Werkzeugumgebungen für die Erstellung sicherheitsrelevanter Software in Kernkraftwerken. Sicherheit 2008: 589-593 | |
2007 | ||
1 | 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 |
1 | Kyoung-Ho Cha | [1] |
2 | Se Woo Cheon | [1] |
3 | Jong-Gyun Choi | [1] |
4 | Ernst Hoffman | [1] |
5 | Jang-Yeol Kim | [1] |
6 | Kee-Choon Kwon | [1] |
7 | Cheol-Kwon Lee | [1] |
8 | Jang-Soo Lee | [1] |
9 | Young-Jun Lee | [1] |
10 | Arndt Lindner | [1] |
11 | Horst Miedl | [1] [2] |
12 | Gee-Yong Park | [1] |