Доклады |
| 1 | Девятков В.В., Наунг М.Т. Моделе-ориентированная проверка правильности сетевого взаимодействия / Труды 19-й Международной научной конференции "Распределенные компьютерные и телекоммуникационные сети: управление, вычисление, связь" (DCCN-2016, Москва). М.: РУДН, 2016. С. 101-113. | 2016 |
