Towards modeling of communications protocols

  title={Towards modeling of communications protocols},
  author={Hazem El-Gendy and Magdi Amer and Osman Ibrahim},
  journal={2012 20th Telecommunications Forum (TELFOR)},
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