|
|
РА384357
Коровченко, Олена Борисівна.
Моделі і методи аналізу та верифікації телекомунікаційних протоколів на основі Е-мереж та формальних граматик [Текст] : автореф. дис. ... канд. техн. наук : 05.12.02 / Коровченко Олена Борисівна ; Харк. нац. ун-т радіоелектрон. - Х., 2011. - 19 с. : рис.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Харківський національний університет радіоелектроніки
Видання зберігається у :
Основний фонд
|
|