Моделі і методи аналізу та верифікації протоколів управління у програмно-конфігурованих мережах, що базуються на алгебрі комутаційних розподілених ресурсів та графах досяжності
Від. щодо назв.:
автореф. дис. ... канд. техн. наук : 05.12.02
Відповідальність:
Іссам Саад ; М-во освіти і науки України, Харків. нац. ун-т радіоелектроніки