Improving functional verification of embedded systems using hierarchical composition and set theory - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Cássio L. Rodrigues' in GoogleThis author has not been identified. Look up 'Karina R. G. da Silva' in GoogleThis author has not been identified. Look up 'Henrique N. Cunha' in Google

runs on WebDSL