Modeling and Verifying Uncertainty-Aware Timing Behaviors using Parametric Logical Time Constraint - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Fei Gao, Frédéric Mallet, Min Zhang 0002, Mingsong Chen. Modeling and Verifying Uncertainty-Aware Timing Behaviors using Parametric Logical Time Constraint. In 2020 Design, Automation & Test in Europe Conference & Exhibition, DATE 2020, Grenoble, France, March 9-13, 2020. pages 376-381, IEEE, 2020. [doi]

This author has not been identified. Look up 'Fei Gao' in GoogleThis author has not been identified. Look up 'Frédéric Mallet' in GoogleThis author has not been identified. Look up 'Min Zhang 0002' in GoogleThis author has not been identified. Look up 'Mingsong Chen' in Google

runs on WebDSL