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

Simple item page
dc.creatorWang, Farn
dc.creatorHwang, Geng-Dian
dc.creatorYu, Fang
dc.date2003-03-25
dc.date.accessioned2026-07-07T03:19:33Z
dc.date.available2026-07-07T03:19:33Z
dc.descriptionThree numerical coverage metrics for the symbolic simulation of dense-time systems and their estimation methods are presented. Special techniques to derive numerical estimations of dense-time state-spaces have also been developed. Properties of the metrics are also discussed with respect to four criteria. Implementation and experiments are then reported.
dc.description27 pages
dc.identifierhttps://arxiv.org/abs/cs/0303027
dc.identifierhttp://arxiv.org/abs/cs/0303027
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/31503
dc.subjectSoftware Engineering
dc.subjectSymbolic Computation
dc.subjectB.1.2
dc.titleNumerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems
dc.typetext

Files

Collections

arXiv