Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems

What this record says

Three numerical coverage metrics for the symbolic simulation of dense-time systems and their estimation methods are presented. Special techniques to

CATALOG · The abstract is indexed.