Browsing by Author "Saied, Halawa Fawaz"
Now showing 1 - 1 of 1
- Results Per Page
- Sort Options
Item Method for detecting errors in logic operation of telecommunication protocols(Видавництво Львівської політехніки, 2012) Duravkin, E. V.; Tkacheva, E. B.; Saied, Halawa FawazThis 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.