About this scholarly article

Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. - Component-based hardware/software co-verification by Fei Xie, ; Guowu Yang, ; Xiaoyu Song, is a scholarly article available to read on EtoBox.

Author

Fei Xie, ; Guowu Yang, ; Xiaoyu Song,

Publisher

IEEE

Published

2006

Language

EN