TAIR: testability analysis by implication reasoning.

Shih-Chieh Chang Wen-Ben Jone Shi-Sen Chang

Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2000)

Keyphrases

neural network
data analysis
statistical analysis
artificial neural networks
hidden markov models
probabilistic model
knowledge representation
quantitative analysis