| emsoft | participants

Wenxue Duan

EMSOFT 2020: 20th International Conference on Embedded Software

Quantitative Timing Analysis for Cyber-Physical Systemsusing Uncertainty-Aware Scenario-Based Specifications

Ming Hu, Wenxue Duan, Min Zhang, Tongquan Wei, and Mingsong Chen