Component-based hardware/software co-verification for building trustworthy embedded systems (2007)

by Fei Xie, Guowu Yang, Xiaoyu Song
Venue:Journal of Systems and Software (JSS