A modular methodology to verify communication protocols.

Wuxu Peng Kia Makki

Published in: Comput. Commun. (1997)

Keyphrases

communication protocols
communication protocol
communication networks
modular structure
database systems
low cost
protocol specification