Testing timed systems modeled by Stream X-machines.

Mercedes G. Merayo Manuel Núñez Robert M. Hierons

Published in: Softw. Syst. Model. (2011)

Keyphrases

information retrieval
computer vision
finite state machines
data streams
artificial neural networks
hidden markov models
scheduling problem
intelligent systems
computer systems
knowledge based systems
test cases