![](/irbis_nbuv/images/db_navy.gif) Книжкові видання та компакт-диски ![](/irbis_nbuv/images/db_navy.gif) Журнали та продовжувані видання ![](/irbis_nbuv/images/db_navy.gif) Автореферати дисертацій ![](/irbis_nbuv/images/db_navy.gif) Реферативна база даних ![](/irbis_nbuv/images/db_navy.gif) Наукова періодика України ![](/irbis_nbuv/images/db_navy.gif) Тематичний навігатор ![](/irbis_nbuv/images/db_navy.gif) Авторитетний файл імен осіб
![Mozilla Firefox](../../ico/mf.png) |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Пошуковий запит: (<.>ID=201206180000007525<.>) |
Загальна кількість знайдених документів : 1
|
| Коровченко О. Б. Моделі і методи аналізу та верифікації телекомунікаційних протоколів на основі Е-мереж та формальних граматик : автореф. дис. ... канд. техн. наук : 05.12.02 / О. Б. Коровченко ; Харк. нац. ун-т радіоелектрон. — Х., 2011. — 19 с. — укp.Вдосконалено темпоральні логіки як засіб формалізації специфікації телекомунікаційних протоколів. Визначено, що на відміну від існуючих засобів формалізації використання темпоральних логік дозволяє вирішити задачу виявлення протиріч у специфікації протоколу. Висвітлено алгебраїчні методи аналізу телекомунікаційних протоколів. Встановлено використання формальних граматик, що дозволяє вирішити задачу перевірки коректності поведінки й оцінки якості розподілу ресурсів телекомунікаційними протоколами. Вперше розроблено метод верифікації телекомунікаційних протоколів, що дозволяє не тільки виділити набір станів, що не задовольняють специфікації, але й на основі побудови контрприкладу визначити необхідний набір змін у реалізації протоколу щодо усунення не відповідності специфікації. Завантажити
Індекс рубрикатора НБУВ: З970.3-016.5 Шифр НБУВ: РА384357 Пошук видання у каталогах НБУВ
Рубрики:
|
|
|