Constructing Test Automata from Graphical Real-Time Requirements.

Henning Dierks Marc Lettrari

Published in: FTRTFT (2002)

Keyphrases

real time
real time systems
control system
timing constraints
cellular automata
end users
low cost
high speed
high fidelity
vision system
probabilistic automata
functional requirements
application specific
test cases
data streams
neural network
data sets