1
Accelerating Test, Validation and Debug of High Speed Serial Interfaces [E-Book] /
2
Languages for Embedded Systems and their Applications [E-Book] : Selected Contributions on Specification, Design, and Verification from FDL’08 /