Hardware-Software Coverification of Distributed Embedded Systems.

Jih-Ming Fu, Sao-Jie Chen

Browse the full PDPTA paper archive.