| title | ISBN-13 | year of publica- tion | other author(s) |
|---|---|---|---|
| Ingredients for Successful System Level Design Methodology | 978-1-4020-8471-3 | 2008 | Hiren D. Patel |
| Low Power Hardware Synthesis from Concurrent Action Oriented Specifications | 978-1-4419-6480-9 | 2010 | Gaurav Singh |
| Metamodeling-Driven IP Reuse for SoC Integration and Microprocessor Design | 978-1-59693-424-5 | 2009 | Deepak A. Mathaikutty |
| Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction | 978-1-4419-6399-4 | 2010 | Jean-Pierre Talpin |
K S · S.K. · S. K. Shukla · S S · Sandeep Kumar Shukla · Sandeep Shukla