Browsing by Author "Tkacheva, E. B."

Filter results by typing the first few letters
Now showing 1 - 1 of 1
  • Thumbnail Image
    Item
    Method for detecting errors in logic operation of telecommunication protocols
    (Видавництво Львівської політехніки, 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.