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

Farn Wang Geng-Dian Hwang Fang Yu

Published in: CoRR (2003)

Keyphrases

real time systems
real time
distributed systems
embedded systems
real time database systems
mission critical
object oriented programming language
embedded real time systems
anytime algorithms
symbolic data
software engineering
finite difference
architectural model