A tool for efficient protocol validation and testing.

J. Jenny Li Joseph Robert Horgan

Published in: ICCCN (2000)

Keyphrases

lightweight
computationally expensive
genetic algorithm
artificial intelligence
software tools
communication protocol
learning algorithm
information systems
case study
digital libraries
quality of service
coloured petri nets