Захаров, Владимир Анатольевич, Московский государственный университет им. М.В. Ломоносова, Россия
-
Том 21, № 6 (2014) - Оригинальные статьи
О некоторых задачах реконфигурирования программно-конфигурируемых сетей
Аннотация PDF (Rus) -
Том 19, № 6 (2012) - Оригинальные статьи
Как разработать простое средство верификации систем реального времени
Аннотация PDF (Rus) -
Том 20, № 6 (2013) - Оригинальные статьи
Формальная модель и задачи верификации программно-конфигурируемых сетей
Аннотация PDF (Rus)
ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)
ISSN 2313-5417 (Online)