• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Increasing the portability and re-usability of protocol code.

Bobby KrupczakKenneth L. CalvertMostafa 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