Cássio L. Rodrigues, Karina R. G. da Silva, Henrique N. Cunha. Improving functional verification of embedded systems using hierarchical composition and set theory. In Sung Y. Shin, Sascha Ossowski, editors, Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009. pages 1632-1636, ACM, 2009. [doi]
@inproceedings{RodriguesSC09,
title = {Improving functional verification of embedded systems using hierarchical composition and set theory},
author = {Cássio L. Rodrigues and Karina R. G. da Silva and Henrique N. Cunha},
year = {2009},
doi = {10.1145/1529282.1529650},
url = {http://doi.acm.org/10.1145/1529282.1529650},
tags = {composition},
researchr = {https://researchr.org/publication/RodriguesSC09},
cites = {0},
citedby = {0},
pages = {1632-1636},
booktitle = {Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009},
editor = {Sung Y. Shin and Sascha Ossowski},
publisher = {ACM},
isbn = {978-1-60558-166-8},
}