Increasing the portability and re-usability of protocol code.

Bobby Krupczak Kenneth L. Calvert Mostafa H. Ammar

Published in: IEEE/ACM Trans. Netw. (1997)

Keyphrases

source code
lightweight
formal analysis
error correcting
static analysis
communication protocol
coloured petri nets
case study
digital libraries
mobile devices