Анализ, моделирование и верификация высокоуровневых протоколов эффективного информационного взаимодействия открытых телекоммуникационных систем
Корнилов, Александр Михайлович. Анализ, моделирование и верификация высокоуровневых протоколов эффективного информационного взаимодействия открытых телекоммуникационных систем : диссертация ... кандидата технических наук : 05.12.13 / Корнилов Александр Михайлович; [Место защиты: Моск. гос. авиац. ин-т].- Москва, 2010.- 175 с.: ил. РГБ ОД, 61 11-5/335
