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