Verifying Communication Protocols Using Live Sequence Chart Specifications.

Rahul Kumar Eric G. Mercer

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases

communication protocols
protocol specification
communication protocol
real time
high level
communication networks
delay insensitive
protocol stack