Formal models for the description of timed behaviors of multimedia and hypermedia distributed systems
Computer Communications1996Vol. 19(14), pp. 1134–1150
Citations Over TimeTop 10% of 1996 papers
Related Papers
- The Application of LOTOS for the Formal Description of the ISO Session Layer(1988)
- → Engineering the SDL Formal Language Definition(2003)1 cited
- → Proving the Correctness of Formal User Interface Specifications(1995)1 cited
- → Aspect-oriented formal specification for multimedia systems(2008)
- Formal specification of IN services and feature interaction detection based on INAP(2001)