A CLP-Based Functional ATPG for Extended FSMs.

Franco Fummi Cristina Marconcini Graziano Pravadelli Ian G. Harris

Published in: MTV (2007)

Keyphrases

constraint logic programming
real time
databases
neural network
constraint programming
finite state machines
data sets
information systems
three dimensional
face recognition
wide range
lower bound
object oriented
functional analysis