Deciding Testing Equivalence for Real-Time Processes with Dense Time.

Bernhard Steffen Carsten Weise

Published in: MFCS (1993)

Keyphrases

real time
low cost
test cases
real time systems
control system
vision system
data sets
case study
high speed
learning algorithm
computer vision
website