134
Voted
EUROMICRO
2007
IEEE
15 years 6 months ago
2007
IEEE
In component-based hardware/software co-verification, properties of an embedded system are established from properties of its hardware and software components. A major challenge i...