Robert A. Thacker, Chris J. Myers, Kevin R. Jones, Scott Little. A new verification method for embedded systems. In 27th International Conference on Computer Design, ICCD 2009, Lake Tahoe, CA, USA, October 4-7, 2009. pages 193-200, IEEE, 2009. [doi]
@inproceedings{ThackerMJL09,
title = {A new verification method for embedded systems},
author = {Robert A. Thacker and Chris J. Myers and Kevin R. Jones and Scott Little},
year = {2009},
doi = {10.1109/ICCD.2009.5413154},
url = {http://dx.doi.org/10.1109/ICCD.2009.5413154},
researchr = {https://researchr.org/publication/ThackerMJL09},
cites = {0},
citedby = {0},
pages = {193-200},
booktitle = {27th International Conference on Computer Design, ICCD 2009, Lake Tahoe, CA, USA, October 4-7, 2009},
publisher = {IEEE},
isbn = {978-1-4244-5029-9},
}