Real Time and Estelle: a Comparison of Approaches

[1]  Stefan Fischer,et al.  Formal Methods for Broadband and Multimedia Systems , 1997, Proceedings of the (19th) International Conference on Software Engineering.

[2]  Stefan Fischer.  Real-Time Estelle , 1996 .

[3]  Samule Clifford Chamberlain.  Estelle enhancements for formally specifying distributed systems , 1992 .

[4]  Richard Lai,et al.  Time-Estelle: an extended Estelle capable of expressing multimedia QoS parameters , 1997, Proceedings of IEEE International Conference on Multimedia Computing and Systems.