Login / Signup

Formal Validation of a High Performance Error Control Protocol using SPIN.

Toong Shoon ChanIan Gorton
Published in: Softw. Pract. Exp. (1996)
Keyphrases
  • error control
  • application layer
  • error correction
  • packet loss
  • video transmission
  • error resilience
  • error detection
  • end to end