Login / Signup
Constructive Protocol Specification Using Cicero.
Yen-Min Huang
Chinya V. Ravishankar
Published in:
IEEE Trans. Software Eng. (1998)
Keyphrases
</>
protocol specification
communication protocols
formal specification
formal methods
transformation rules