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]
@inproceedings{AtchisonG02,
title = {A Product-Based Assurance Model for Mixed-Integrity Markets},
author = {Brenton Atchison and Alena Griffiths},
year = {2002},
url = {http://crpit.com/confpapers/CRPITV15Atchison.pdf},
tags = {rule-based},
researchr = {https://researchr.org/publication/AtchisonG02},
cites = {0},
citedby = {0},
pages = {55-62},
booktitle = {Safety Critical Systems and Software 2002, Seventh Australian Workshop on Safety-Related Programmable Systems, (SCS2002), Adelaide, Australia, 17-18 October 2002},
editor = {Peter A. Lindsay},
volume = {15},
series = {CRPIT},
publisher = {Australian Computer Society},
isbn = {0-909-92593-3},
}