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