Formal Models for Embedded System Design.

Marco Sgroi Luciano Lavagno Alberto L. Sangiovanni-Vincentelli

Published in: IEEE Des. Test Comput. (2000)

Keyphrases

formal models
case study
information retrieval
knowledge based systems
design methodology
rule based systems
optimal design
real time
data sets
artificial intelligence
data analysis
user interface
knowledge discovery
design process
software architecture
formal model