Property verification in the design of telecom applications.

Massimo Bombana Patrizia Cavalloro Fabrizio Ferrandi

Published in: ASP-DAC (1997)

Keyphrases

optimal design
real time
engineering design
databases
design principles
database
knowledge base
multimedia
case study
multiscale
user interface
building blocks
design process
conceptual model
conceptual framework