Complete Test Graph Synthesis For Symbolic Real-time Systems.

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

real time systems
real time
embedded systems
distributed systems
mission critical
random walk
real time database systems
timing constraints
real time embedded
symbolic representation
artificial neural networks
information sharing
graph structure
object oriented programming language