Jackson R. Mayo, Robert C. Armstrong, Geoffrey C. Hulette. Digital system robustness via design constraints: The lesson of formal methods. In Annual IEEE Systems Conference, SysCon 2015, Proceedings, Vancouver, BC, Canada, April 13-16, 2015. pages 109-114, IEEE, 2015. [doi]
@inproceedings{MayoAH15-0,
title = {Digital system robustness via design constraints: The lesson of formal methods},
author = {Jackson R. Mayo and Robert C. Armstrong and Geoffrey C. Hulette},
year = {2015},
doi = {10.1109/SYSCON.2015.7116737},
url = {http://dx.doi.org/10.1109/SYSCON.2015.7116737},
researchr = {https://researchr.org/publication/MayoAH15-0},
cites = {0},
citedby = {0},
pages = {109-114},
booktitle = {Annual IEEE Systems Conference, SysCon 2015, Proceedings, Vancouver, BC, Canada, April 13-16, 2015},
publisher = {IEEE},
isbn = {978-1-4799-5927-3},
}