Josef Märtz

Publication Activity (10 Years)

Years Active: 2007-2009
Publications (10 Years): 0

Publications

John 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)
Horst Miedl, Josef Märtz
Qualifizierung integrierter Werkzeugumgebungen für die Erstellung sicherheitsrelevanter Software in Kernkraftwerken. Sicherheit (2008)
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
Defense-in-Depth and Diverse Qualification of Safety-Critical Software. SAFECOMP (2007)