Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities
| Title | Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities |
| Publication Type | Journal Article |
| Year of Publication | 2017 |
| Authors | S. A. Seshia, S. Hu, W. Li, Q. Zhu |
| Journal | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems |
| Volume | 36 |
| Pagination | 1421–1434 |
| Date Published | September |
| ISSN | 0278-0070 |
| Keywords | 1553757, 1646381, 1646497 |
| DOI | 10.1109/TCAD.2016.2633961 |
| Citation Key | seshia-tcad17 |