Modeling and Verifying Uncertainty-Aware Timing Behaviors using Parametric Logical Time Constraint.

Fei Gao, Frdric Mallet, Min Zhang, Mingsong Chen

Browse the full DATE paper archive.