Biblio
Filters: Author is S. A. Seshia [Clear All Filters]
Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 36:1421–1434.
.
2017.