Horst Miedl

According to our database, Horst Miedl authored at least 4 papers between 2006 and 2009.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2009

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

John Eidar Simensen, Christian Gerst, Bjørn Axel Gran, Josef Märtz, Horst Miedl

Proceedings of the Computer Safety, 2009

2008

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

Horst Miedl, Josef Märtz

Proceedings of the Sicherheit 2008: Sicherheit, 2008

2007

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

Horst Miedl, Jang-Soo Lee, Arndt Lindner, Ernst Hoffman, Josef Märtz, Young-Jun Lee, Jong-Gyun Choi, Jangyeol Kim, Kyoung-Ho Cha, Se Woo Cheon, Cheol-Kwon Lee, Gee-Yong Park, Kee-Choon Kwon

Proceedings of the Computer Safety, 2007

2006

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

Jang-Soo Lee, Arndt Lindner, Jong-Gyun Choi, Horst Miedl, Kee-Choon Kwon

Proceedings of the Computer Safety, 2006