English Switch to English Version

Разработка методов, моделей и алгоритмов для проверки спецификации политик маршрутизации на непротиворечивость, достижимость, наличие циклов.

Статья 12.07.2013 Источник: НП "ЦПИ КС"

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