The impact of EFSM composition on functional ATPG.

Davide Bresolin Giuseppe Di Guglielmo Franco Fummi Graziano Pravadelli Tiziano Villa

Published in: DDECS (2009)

Keyphrases

finite state machines
model checking
database
multiresolution
pattern matching
neural network
artificial intelligence
web services
image segmentation
database systems
expert systems
regular expressions
web service composition
high impact