Розробка методу формалізації специфікації телекомунікаційних протоколів за допомогою темпоральних логік. Синтез формальної граматики, що дозволяє описати поведінку протоколу на основi моделi Е-мережі. Опис верифікації телекомунікаційних протоколів.
Аннотация к работе
Дисертацією є рукопис. Робота виконана в Харківському національному університеті радіоелектроніки, Міністерство освіти і науки, молоді та спорту України. Захист відбудеться "12" жовтня 2011 р. о 15 годині на засіданні спеціалізованої вченої ради Д 64.052.09 при Харківському національному університеті радіоелектроніки за адресою: Україна, 61166, м. Харків, просп. Моделі і методи аналізу та верифікації телекомунікаційних протоколів на основі Е-мереж та формальних граматик.