English Switch to English Version

Формальная модель и задачи верификации программно-конфигурируемых сетей

Статья 28.04.2014 Захаров В.А., Смелянский Р.Л., Чемерицкий Е.В. Источник: Журнале "Моделирование и анализ информационных систем", том 20, № 6, с.33-48

Скачать pdf-файл материала