Return to Article Details
Formal Modeling and Analysis of an Audio/Video Protocol: An Industrial Case Study Using UPPAAL
Download
Download PDF