Towards modeling of communications protocols

@article{ElGendy2012TowardsMO,
  title={Towards modeling of communications protocols},
  author={Hazem El-Gendy and Magdi Amer and Osman Ibrahim},
  journal={2012 20th Telecommunications Forum (TELFOR)},
  year={2012},
  pages={233-236}
}
In this paper, we develop a testability-directed model of a communications protocol. This modeling has applicability in different phases of development of sound advanced telecommunications systems such as universal personal communications systems. The model is called Testability-Directed Standard of a communications Protocol (TDSP). We provide reasoning and… CONTINUE READING