Brenton Atchison, Alena Griffiths. A Product-Based Assurance Model for Mixed-Integrity Markets. In Peter A. Lindsay, editor, Safety Critical Systems and Software 2002, Seventh Australian Workshop on Safety-Related Programmable Systems, (SCS2002), Adelaide, Australia, 17-18 October 2002. Volume 15 of CRPIT, pages 55-62, Australian Computer Society, 2002. [doi]
Abstract is missing.