Framework of Timed Trace Theoretic Verification Revisited.

Bin Zhou Tomohiro Yoneda Chris J. Myers

Published in: Asian Test Symposium (2001)

Keyphrases

web services
probabilistic model
semi supervised
petri net
key features
computer vision
data structure
artificial neural networks
evolutionary algorithm
multiresolution
main contribution
computational model
framework enables