Login / Signup

Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAAL.

Klaus HavelundArne SkouKim Guldstrand LarsenKristian Lund
Published in: RTSS (1997)
Keyphrases
  • audio video
  • multimedia
  • model checking
  • network management