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 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. 258-263 2007 conf/safecomp/2007 SAFECOMP http://dx.doi.org/10.1007/978-3-540-75101-4_24 db/conf/safecomp/safecomp2007.html#MiedlLLHMLCKCCLPK07