A Pseudo-Deterministic Functional ATPG based on EFSM Traversing.

Giuseppe Di Guglielmo Franco Fummi Cristina Marconcini Graziano Pravadelli

Published in: MTV (2005)

Keyphrases

finite state machines
model checking
black box
functional analysis
databases
decision making
image segmentation
multiscale
video sequences
state space