Specification and verification of multimedia synchronization scenarios using Time-Estelle

Authors:
Tony Tsang;Richard Lai
Affiliations:
-;-
Venue:
Software—Practice & Experience
Year:
1998

Citing 0
Cited 4

Verification of Estelle-Specified Communication Protocols Using High-Level Petri Nets

Programming and Computing Software
Verification Results for a Multimedia Protocol

ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
A method for analysing multimedia protocol performance

Journal of Systems and Software
Timed verification of the reliable adaptive multicast protocol

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

Abstract