Login / Signup

Mechanical Verification and Automatic Implementation of Communication Protocols.

Thomas P. BlumerDeepinder P. Sidhu
Published in: IEEE Trans. Software Eng. (1986)
Keyphrases
  • communication protocols
  • protocol specification
  • communication protocol
  • neural network
  • information systems
  • shortest path
  • software systems
  • semi automatic
  • formal specification
  • formal methods