Method for detecting errors in logic operation of telecommunication protocols
| dc.contributor.author | Duravkin, E. V. | |
| dc.contributor.author | Tkacheva, E. B. | |
| dc.contributor.author | Saied, Halawa Fawaz | |
| dc.date.accessioned | 2012-09-21T13:32:18Z | |
| dc.date.available | 2012-09-21T13:32:18Z | |
| dc.date.issued | 2012 | |
| dc.description.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. | uk_UA |
| dc.identifier.citation | Duravkin E. Method for detecting errors in logic operation of telecommunication protocols / E. V. Duravkin, E. B. Tkacheva, Saied Halawa Fawaz // Сучасні проблеми радіоелектроніки, телекомунікацій, комп’ютерної інженерії : матеріали ХІ Міжнародної конференції TCSET2012, присвяченої 60-річчю заснування радіотехнічного факультету у Львівській політехніці, 21-24 лютого 2012 року, Львів, Славське, Україна / Національний університет «Львівська політехніка». – Львів : Видавництво Львівської політехніки, 2012. – С. 265. – Bibliography: 2 titles. | uk_UA |
| dc.identifier.uri | https://ena.lpnu.ua/handle/ntb/14561 | |
| dc.language.iso | en | uk_UA |
| dc.publisher | Видавництво Львівської політехніки | uk_UA |
| dc.subject | compatibility | uk_UA |
| dc.subject | protocol specification | uk_UA |
| dc.subject | Model Checking | uk_UA |
| dc.subject | counterexample | uk_UA |
| dc.subject | behavior of the protocol | uk_UA |
| dc.title | Method for detecting errors in logic operation of telecommunication protocols | uk_UA |
| dc.type | Article | uk_UA |