Login / Signup

Issues and Tools for Protocol Specification.

Jean-Pierre Ansart
Published in: Advanced Course: Distributed Systems (1984)
Keyphrases
  • protocol specification
  • formal methods
  • database
  • case study
  • expert systems
  • communication protocols