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