𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A formal approach to protocol performance testing

✍ Scribed by Mingwei Xu; Jianping Wu

Book ID
105666725
Publisher
Springer
Year
1999
Tongue
English
Weight
468 KB
Volume
14
Category
Article
ISSN
1000-9000

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Estimating protocol performance using a
Estimating protocol performance using a formal specification model
✍ Raymond E. Miller; Zafar Ullah Chaudhry πŸ“‚ Article πŸ“… 1999 πŸ› John Wiley and Sons 🌐 English βš– 212 KB

This paper introduces an approach for protocol performance estimation directly from a formal model of the protocol. By using the approach presented in this paper, performance of a protocol can be quickly estimated at an early stage of protocol design. The simplicity of analysis, achieved by determin