Sign in

Rigorous Protocol Design in Practice: An Optical Packet-Switch MAC in HOL.

Adam BiltcliffeMichael DalesSam JansenTom RidgePeter Sewell
Published in: ICNP (2006)
Keyphrases
  • switched networks
  • knowledge based systems
  • network design
  • formal methods
  • case study
  • higher order
  • design process
  • printed circuit boards