Visible to the public Biblio

Filters: Author is W. Li  [Clear All Filters]
Conference Paper
B. Zheng, C. W. Lin, H. Liang, S. Shiraishi, W. Li, Q. Zhu.  2017.  Delay-Aware Design, Analysis and Verification of Intelligent Intersection Management. 2017 IEEE International Conference on Smart Computing (SMARTCOMP). :1–8.
Journal Article
S. A. Seshia, S. Hu, W. Li, Q. Zhu.  2017.  Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 36:1421–1434.