Алтухов Виктор Сергеевич

Публикации в базе данных Math-Net.Ru

1. VERMONT – средство верификации программно-конфигурируемых сетей
   
   Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2015, № 1(212),  74–87