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. In Francesca Saglietti, Norbert Oster, editors, Computer Safety, Reliability, and Security, 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Volume 4680 of Lecture Notes in Computer Science, pages 258-263, Springer, 2007. [doi]

Authors

Horst Miedl

This author has not been identified. Look up 'Horst Miedl' in Google

Jang-Soo Lee

This author has not been identified. Look up 'Jang-Soo Lee' in Google

Arndt Lindner

This author has not been identified. Look up 'Arndt Lindner' in Google

Ernst Hoffman

This author has not been identified. Look up 'Ernst Hoffman' in Google

Josef Märtz

This author has not been identified. Look up 'Josef Märtz' in Google

Young-Jun Lee

This author has not been identified. Look up 'Young-Jun Lee' in Google

Jong-Gyun Choi

This author has not been identified. Look up 'Jong-Gyun Choi' in Google

Jang-Yeol Kim

This author has not been identified. Look up 'Jang-Yeol Kim' in Google

Kyoung-Ho Cha

This author has not been identified. Look up 'Kyoung-Ho Cha' in Google

Se Woo Cheon

This author has not been identified. Look up 'Se Woo Cheon' in Google

Cheol-Kwon Lee

This author has not been identified. Look up 'Cheol-Kwon Lee' in Google

Gee-Yong Park

This author has not been identified. Look up 'Gee-Yong Park' in Google

Kee-Choon Kwon

This author has not been identified. Look up 'Kee-Choon Kwon' in Google