Desynchronization: design for verification.

Sudarshan K. Srinivasan Raj S. Katti

Published in: FMCAD (2011)

Keyphrases

conceptual framework
design process
engineering design
computer aided
databases
design space
design methodology
multi agent
case study
user interface
knowledge based systems
building blocks
web services
user experience
multimedia
e learning
machine learning
formal methods
data sets