Fan Ye, Tim Kelly. Contract-Based Justification for COTS Component within Safety Critical Applications. In Anthony Cant, editor, Safety Critical Systems and Software 2004, Ninth Australian Workshop on Safety-Related Programmable Systems, (SCS2004), Brisbane, Australia, October 2004. Volume 47 of CRPIT, pages 13-22, Australian Computer Society, 2004. [doi]
Abstract is missing.