Horst Miedl

Qualifizierung integrierter Werkzeugumgebungen für die Erstellung sicherheitsrelevanter Software in Kernkraftwerken

Horst Miedl, Josef Märtz, 2008, Sicherheit.

Establishing the Correlation between Complexity and a Reliability Metric for Software Digital I&C-Systems

Horst Miedl, Josef Märtz, Bjørn Axel Gran, 2009, SAFECOMP.

Defense-in-Depth and Diverse Qualification of Safety-Critical Software

Jang-Soo Lee, Kee-Choon Kwon, Young-Jun Lee, 2007, SAFECOMP.

Software Safety Lifecycles and the Methods of a Programmable Electronic Safety System for a Nuclear Power Plant

Jang-Soo Lee, Kee-Choon Kwon, Horst Miedl, 2006, SAFECOMP.

Recommendations and Proposals to the Research on Requirement Engineering and Risk Assessment

Horst Miedl, Josef Märtz, Janne Valkonen, 2008 .

Development of a System for a Rule-Driven Analysis of Safety Critical Software

Horst Miedl, 1997 .