Testability analysis of hierarchical finite state machines.

Françoise Martinolle Jean Claude Geffroy Bernard Soulas

Published in: EURO-DAC (1991)

Keyphrases

finite state machines
relational databases
finite state automata
information retrieval
image analysis
databases
information systems
multiscale
data analysis
information extraction
object oriented
database management systems
model checking
hierarchical structure
quantitative analysis