Login / Signup

Modeling and Verification of Communication Protocols in SARA: The X.21 Interface.

Rami R. RazoukGerald Estrin
Published in: IEEE Trans. Computers (1980)
Keyphrases
  • communication protocols
  • communication protocol
  • protocol specification
  • user interface
  • information systems
  • software engineering
  • data processing
  • communication networks
  • formal specification
  • formal methods