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


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

Авторы

Г.В. Ключников, А.С. Косачев, Н.В. Пакулин, А.К. Петренко, В.З. Шнитман

Издание

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

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

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

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