Brian R. Larson, John Hatcliff, Kim Fowler, Julien Delange. Illustrating the AADL error modeling annex (v.2) using a simple safety-critical medical device. In Jeff Boleng, S. Tucker Taft, editors, Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, HILT 2013, Pittsburgh, Pennsylvania, USA, November 10-14, 2013. pages 65-84, ACM, 2013. [doi]
@inproceedings{LarsonHFD13,
title = {Illustrating the AADL error modeling annex (v.2) using a simple safety-critical medical device},
author = {Brian R. Larson and John Hatcliff and Kim Fowler and Julien Delange},
year = {2013},
doi = {10.1145/2527269.2527271},
url = {http://doi.acm.org/10.1145/2527269.2527271},
researchr = {https://researchr.org/publication/LarsonHFD13},
cites = {0},
citedby = {0},
pages = {65-84},
booktitle = {Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, HILT 2013, Pittsburgh, Pennsylvania, USA, November 10-14, 2013},
editor = {Jeff Boleng and S. Tucker Taft},
publisher = {ACM},
isbn = {978-1-4503-2467-0},
}