График выхода изданий
- №2 Июнь 2026Статьи принимаются до: 29 Мая 2026
- №3 Сентябрь 2026Статьи принимаются до: 31 Августа 2026
- №4 Декабрь 2026
Последние выпуски
Подымов Владислав Васильевич
119991, Россия, Москва, ГСП-1, Ленинские горы, д. 1, стр. 52.
VERMONT — средство верификации программно-конфигурируемых сетей
- Год: 2015
- Выпуск: 1
- 316
- 8887
- Страницы: 74-87
Верификация программно-конфигурируемых сетей при помощи системы UPPAAL
- Год: 2014
- Выпуск: 2
- 465
- 9242
- Страницы: 169-179