Testing Systems Specified as Partial Order Input/Output Automata.

Gregor von Bochmann Stefan Haar Claude Jard Guy-Vincent Jourdan

Published in: TestCom/FATES (2008)

Keyphrases

input output
partial order
partially ordered
fuzzy model
fuzzy neural network
noise cancellation
total order
internal states
fuzzy inference system
lattice structure
high dimensional
state transition
nonlinear functions
data structure
hidden markov models
sequential patterns