Формальный логический анализ корректности спецификаций сетевых SIP-протоколов
Опубликовано: 18.11.2013
Авторы: Девятков В.В., Мьё Т.Н.
Опубликовано в выпуске: #11(23)/2013
DOI: 10.18698/2308-6033-2013-11-999
Раздел: Информационные технологии | Рубрика: Компьютерные системы и сети