Применение формальных методов для тестирования реализаций сложных современных протоколов.


Применение формальных методов для тестирования реализаций сложных современных протоколов.

Авторы

Н.В. Пакулин

Издание

Сборник трудов международного семинара "Go4IT - шаг к новым технологиям Интернета", ИСП РАН, М., 2007 г., стр. 11-18.

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

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

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