Erik Stensrud, Torbjørn Skramstad, Jingyue Li, Jing Xie. Towards Goal-Based Software Safety Certification Based on Prescriptive Standards. In Roberto Pietrantuono, Nuno Silva, editors, 2011 First International Workshop on Software Certification, WoSoCER 2011, Hiroshima, Japan, November 29 - December 2, 2011. pages 13-18, IEEE Computer Society, 2011. [doi]
Abstract is missing.