• Citations Per Year
Learn More
This article presents the implementation of a validation platform based on formal methods and the experimental results obtained. This platform allows performing conformance and interoperability tests, analysing the specification and constructing a performance model for the services. It covers all stages of the validation which are: formal specification,(More)
Two GFC (Generic Flow Control) protocols are currently under study within the CCITT, namely the BT/NTT proposal and the Australian proposal. In this paper, their basic operating principles are recalled. Then, since it has been recognized in earlier studies that Cell Delay Variation, or more precisely cell clumping, has a major impact on peak cell rate(More)
  • 1