Symbolic Parametric Analysis of Embedded Systems with BDD-like Data-Structures

Published in: CoRR (2003)

Keyphrases

embedded systems
data structure
resource limited
computing power
embedded devices
real time image processing
low cost
database management systems
embedded software