Sam Procter, John Hatcliff. An architecturally-integrated, systems-based hazard analysis for medical applications. In Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014. pages 124-133, IEEE, 2014. [doi]
@inproceedings{ProcterH14,
title = {An architecturally-integrated, systems-based hazard analysis for medical applications},
author = {Sam Procter and John Hatcliff},
year = {2014},
doi = {10.1109/MEMCOD.2014.6961850},
url = {http://dx.doi.org/10.1109/MEMCOD.2014.6961850},
researchr = {https://researchr.org/publication/ProcterH14},
cites = {0},
citedby = {0},
pages = {124-133},
booktitle = {Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014},
publisher = {IEEE},
}