1 citations · 1 across the 2 of their papers we have counts for
1 paper · 1 filter
Farn Wang, Geng-Dian Hwang, Fang Yu
Three numerical coverage metrics for the symbolic simulation of dense-time systems and their estimation methods are presented. Special techniques to derive numerical estimations of…