Protocol Validation by Fair Progress State Exploration.

Mohamed G. Gouda Ji-Yun Han

Published in: Comput. Networks (1985)

Keyphrases

lightweight
state space
real time
genetic algorithm
case study
database systems
communication protocol
communication protocols
network protocols