Plug-and-Play Architectural Design and Verification.

Shangzhu Wang George S. Avrunin Lori A. Clarke

Published in: WADS (2007)

Keyphrases

architectural design
design decisions
software architecture
detailed design
model checking
concurrent systems
formal verification
neural network
artificial intelligence
multi agent systems
distributed systems
face verification