Formal Modelling and Analysis of an Audio/Video Protocol: An Industrial Case Study Using UPPAAL (1997)

by Larsen, Kristian Lund
Venue:In Proceedings of the 18th IEEE Real-Time Systems Symposium