A Methodology for System-Level Design for Verifiability.

Paolo Camurati Fulvio Corno Paolo Prinetto

Published in: CHARME (1993)

Keyphrases

design methodology
case study
database
design process
computer aided
conceptual model
data sets
search engine
digital libraries
multiresolution
software engineering
low cost
collaborative learning
higher level
engineering design