Login / Signup

Constructive Protocol Specification Using Cicero.

Yen-Min HuangChinya V. Ravishankar
Published in: IEEE Trans. Software Eng. (1998)
Keyphrases
  • protocol specification
  • communication protocols
  • formal specification
  • formal methods
  • transformation rules