Achieving a Better Middleware Design through Formal Modeling and Analysis.

Weixiang Sun Tianjun Shi Gonzalo Argote-Garcia Yi Deng Xudong He

Published in: SEKE (2006)

Keyphrases

data analysis
building blocks
formal model
design space
formal analysis
neural network
case study
image analysis
design process
statistical modeling
formal methods
detailed design