Login / Signup

An informal overview of formal protocol specification.

Harry Rudin
Published in: IEEE Commun. Mag. (1985)
Keyphrases
  • protocol specification
  • formal specification
  • formal methods
  • communication protocols
  • artificial intelligence
  • database systems
  • software engineering
  • data driven
  • information systems
  • case study
  • model checking