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]
Abstract is missing.