C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A simulation and validation tool for self-stabilizing protocols.
Sandeep K. Shukla
Daniel J. Rosenkrantz
S. S. Ravi
Published in:
The Spin Verification System (1996)
Keyphrases
</>
software tools
simulation model
learning algorithm
user friendly
data sets
databases
neural network
information systems
artificial neural networks
analysis tool
simulation models
lower complexity
simulation tool
key agreement protocol