Formal Modeling and Verification of CloudProxy.

Wei Yang Tan Rohit Sinha John L. Manferdelli Sanjit A. Seshia

Published in: VSTTE (2014)

Keyphrases

formal methods
formal models
formal model
data sets
information retrieval
neural network
real world
image processing
face recognition
multi agent systems
user interface