(Видавництво Львівської політехніки, 2012) Duravkin, E. V.; Tkacheva, E. B.; Saied, Halawa Fawaz
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.
