Validating Real Time Specifications using Real Time Event Queue Modeling.

Published in: ASE (2008)

Keyphrases

real time
control system
high speed
case study
low cost
data acquisition
search engine
e learning
general purpose
vision system
markov chain
steady state
queueing theory