Linking Codesign and Verification by Means of E-LOTOS FDT.

Pierre Wodey Fabrice Baray

Published in: EUROMICRO (1999)

Keyphrases

neural network
database
databases
image sequences
fuzzy sets
computer systems
formal methods
signature verification