Институт системного программирования им. В.П. Иванникова РАН


Применение формальных методов для тестирования MSR IPv6.

Авторы

И. Агамирзян, С.Г. Грошев, А.В. Хорошилов, Г.В. Ключников, А.С. Косачев, В.А. Омельченко, Н.В. Пакулин, А.К. Петренко, В.З. Шнитман

Издание

Сборник тезисов докладов Международной конференции "Интернет нового поколения - IPv6", г. Ярославль, 2002, стр. 29-33.

Научная группа

Архитектура вычислительных систем

Все публикации за 2002 год Все публикации