An Interactive Tool for Design, Simulation, Verification, and Synthesis of Protocols.

Daniel Y. Chao David T. Wang

Published in: Softw. Pract. Exp. (1994)

Keyphrases

neural network
knowledge based systems
design principles
design decisions
design methodology
design space exploration
simulation software
molecular dynamics
learning algorithm
learning environment
user interface
privacy preserving
model checking
design space
communication protocols