| |
| Поле |
Співвідношення |
| |
| Title |
Method for detecting errors in logic operation of telecommunication protocols
|
| |
| Creator |
Duravkin, E. V.
Tkacheva, E. B.
Saied, Halawa Fawaz
|
| |
| Subject |
compatibility
protocol specification
Model Checking
counterexample
behavior of the protocol
|
| |
| Description |
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.
|
| |
| Date |
2012-09-21T13:32:18Z
2012-09-21T13:32:18Z
2012
|
| |
| Type |
Article
|
| |
| Identifier |
Duravkin E. Method for detecting errors in logic operation of telecommunication protocols / E. V. Duravkin, E. B. Tkacheva, Saied Halawa Fawaz // Сучасні проблеми радіоелектроніки, телекомунікацій, комп'ютерної інженерії TCSET'2012 : матеріали XI Міжнародної конференції, присвяченої 60-річчю заснування радіотехнічного факультету у Львівській політехніці, 21-24 лютого 2012, Львів, Славське, Україна / Міністерство освіти і науки, молоді та спорту України, Національний університет "Львівська політехніка". - Львів : Видавництво Львівської політехніки, 2012. – С. 265. - Bibliography: 2 titles. – Паралельний титульний аркуш англійською.
http://ena.lp.edu.ua:8080/handle/ntb/14561
|
| |
| Language |
en
|
| |
| Publisher |
Національний університет "Львівська політехніка"
|
| |
