Чемерицкий Евгений Викторович

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

1. VERMONT – средство верификации программно-конфигурируемых сетей
   
   Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2015, № 1(212),  74–87
2. О некоторых задачах реконфигурирования программно-конфигурируемых сетей
   
   Модел. и анализ информ. систем, 21:6 (2014),  57–70
3. Формальная модель и задачи верификации программно-конфигурируемых сетей
   
   Модел. и анализ информ. систем, 20:6 (2013),  36–51