Simulation and verification of X.25 protocol

Eitemau Tebyg

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