Global Specification and Validation of Embedded Systems: Integrating Heterogeneous Components 2007 · ENGLISH · PDF View details →
Multiprocessor Systems-on-Chips (The Morgan Kaufmann Series in Systems on Silicon) 2004 · ENGLISH · PDF View details →