Method for detecting errors in logic operation of telecommunication protocols

Abstract

This paper is devoted to the development of method for detecting the causes of the errors that arise in the operation of protocols for information exchange, which based on the construction of counterexamples. 

Topics

Cite this paper

@article{Duravkin2012MethodFD, title={Method for detecting errors in logic operation of telecommunication protocols}, author={Evgenij V. Duravkin and E. B. Tkacheva and Samia Fawaz}, journal={Proceedings of International Conference on Modern Problem of Radio Engineering, Telecommunications and Computer Science}, year={2012}, pages={265-265} }