Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал: http://ena.lp.edu.ua:8080/handle/ntb/14561
Назва: Method for detecting errors in logic operation of telecommunication protocols
Автори: Duravkin, E. V.
Tkacheva, E. B.
Saied, Halawa Fawaz
Бібліографічний опис: 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.
Дата публікації: 2012
Видавництво: Видавництво Львівської політехніки
Теми: compatibility
protocol specification
Model Checking
counterexample
behavior of the protocol
Короткий огляд (реферат): 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.
URI (Уніфікований ідентифікатор ресурсу): http://ena.lp.edu.ua:8080/handle/ntb/14561
Тип вмісту : Article
Розташовується у зібраннях:Сучасні проблеми радіоелектроніки, телекомунікацій, комп'ютерної інженерії (TCSET’2012). – 2012 р.

Файли цього матеріалу:
Файл Опис РозмірФормат 
180.pdf49,04 kBAdobe PDFПереглянути/відкрити


Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.