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]

@inproceedings{MiedlLLHMLCKCCLPK07,
  title = {Defense-in-Depth and Diverse Qualification of Safety-Critical Software},
  author = {Horst Miedl and Jang-Soo Lee and Arndt Lindner and Ernst Hoffman and Josef Märtz and Young-Jun Lee and Jong-Gyun Choi and Jang-Yeol Kim and Kyoung-Ho Cha and Se Woo Cheon and Cheol-Kwon Lee and Gee-Yong Park and Kee-Choon Kwon},
  year = {2007},
  doi = {10.1007/978-3-540-75101-4_24},
  url = {http://dx.doi.org/10.1007/978-3-540-75101-4_24},
  researchr = {https://researchr.org/publication/MiedlLLHMLCKCCLPK07},
  cites = {0},
  citedby = {0},
  pages = {258-263},
  booktitle = {Computer Safety, Reliability, and Security, 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007},
  editor = {Francesca Saglietti and Norbert Oster},
  volume = {4680},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-75100-7},
}