C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A Scalable Approach to Multi-style Architectural Modeling and Verification.
Stephen Wong
Jing Sun
Ian Warren
Jun Sun
Published in:
ICECCS (2008)
Keyphrases
</>
model checking
databases
software engineering
modeling framework
neural network
real world
information retrieval
decision making
multimedia
data structure
multi agent systems
multiresolution
distributed systems
lightweight
false acceptance rate