Попеско Ульяна Владиславовна

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

1. Верификация программно-конфигурируемых сетей при помощи системы UPPAAL
   
   Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2014, № 2(193),  169–179