Richard Hawkins, Ibrahim Habli, Dimitrios S. Kolovos, Richard F. Paige, Tim Kelly. Weaving an Assurance Case from Design: A Model-Based Approach. In 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015. pages 110-117, IEEE, 2015. [doi]
@inproceedings{HawkinsHKPK15,
title = {Weaving an Assurance Case from Design: A Model-Based Approach},
author = {Richard Hawkins and Ibrahim Habli and Dimitrios S. Kolovos and Richard F. Paige and Tim Kelly},
year = {2015},
doi = {10.1109/HASE.2015.25},
url = {http://dx.doi.org/10.1109/HASE.2015.25},
researchr = {https://researchr.org/publication/HawkinsHKPK15},
cites = {0},
citedby = {0},
pages = {110-117},
booktitle = {16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015},
publisher = {IEEE},
isbn = {978-1-4799-8110-6},
}