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

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

Browse the full SAFECOMP paper archive.