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

Farn Wang Geng-Dian Hwang Fang Yu

Published in: FORTE (2003)

Keyphrases

real time systems
real time
embedded systems
distributed systems
real time database systems
mission critical
object oriented programming language
numerical data
embedded real time systems
cooperative
dynamic programming
estimation algorithm
finite difference
symbolic data