Simulation and verification of X.25 protocol

Antzeko izenburuak

• Simulation and verification od hdlc/nrm protocol
  nork: Balagopal R
  Argitaratua: (1991)
• Protocol specification, testing and verification
  nork: Diaz, Michel
  Argitaratua: (1986)
• X.25 explained:protocols for packet switching networks
  nork: R.J.Deasington
  Argitaratua: (1986)
• Verification and meaning /
  Argitaratua: (1976)
• Program Construction and Verification
  nork: Backhouse, Roland C
  Argitaratua: (1986)