%0 Conference Paper %1 conf/sigada/LarsonHFD13 %A Larson, Brian R. %A Hatcliff, John %A Fowler, Kim R. %A Delange, Julien %B HILT %D 2013 %E Boleng, Jeff %E Taft, S. Tucker %I ACM %K dblp %P 65-84 %T Illustrating the AADL error modeling annex (v.2) using a simple safety-critical medical device. %U http://dblp.uni-trier.de/db/conf/sigada/hilt2013.html#LarsonHFD13 %@ 978-1-4503-2467-0

@inproceedings{conf/sigada/LarsonHFD13, added-at = {2018-11-06T00:00:00.000+0100}, author = {Larson, Brian R. and Hatcliff, John and Fowler, Kim R. and Delange, Julien}, biburl = {https://www.bibsonomy.org/bibtex/26808ba0a7185fe87527656ffcbedc3d4/dblp}, booktitle = {HILT}, crossref = {conf/sigada/2013}, editor = {Boleng, Jeff and Taft, S. Tucker}, ee = {https://doi.org/10.1145/2527269.2527271}, interhash = {81a7982138c42aa04efde7ff5207585b}, intrahash = {6808ba0a7185fe87527656ffcbedc3d4}, isbn = {978-1-4503-2467-0}, keywords = {dblp}, pages = {65-84}, publisher = {ACM}, timestamp = {2018-11-07T12:48:00.000+0100}, title = {Illustrating the AADL error modeling annex (v.2) using a simple safety-critical medical device.}, url = {http://dblp.uni-trier.de/db/conf/sigada/hilt2013.html#LarsonHFD13}, year = 2013 }