Synchronous Equivalence : Formal Methods for Embedded Systems
Harry Hsieh
Download - Immediately Available
Format: eBook (PDF)
Hardware-Software Co-Design of Embedded Systems : The POLIS Approach
F. Balarin
Download - Immediately Available
Format: eBook (PDF)