Verifier.

Giuseppe Della Penna Benedetto Intrigila Igor Melatti Enrico Tronci Marisa Venturini Zilli

Published in: FMCAD (2004)

Keyphrases

designated verifier
information systems
sensor networks
low cost