Cited By
View all- Hu MDuan WZhang MWei TChen M(2020)Quantitative Timing Analysis for Cyber-Physical Systems Using Uncertainty-Aware Scenario-Based SpecificationsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2020.301284339:11(4006-4017)Online publication date: Nov-2020