Документ взят из кэша поисковой машины. Адрес оригинального документа : http://sp.cs.msu.ru/specsem/vvp/telecom/
Дата изменения: Wed Feb 11 22:28:56 2015
Дата индексирования: Sun Apr 10 00:20:50 2016
Кодировка: Windows-1251
Спецсеминар «Корректность программ»

Главная страница « Спецсеминары «

Спецсеминар «Корректность программ»

Руководители:
доктор физ.-мат. наук Петренко Александр Константинович,
канд. физ.-мат. наук Хорошилов Алексей Владимирович,
канд. физ.-мат. наук Кулямин Виктор Вячеславович

вернуться на страницу спецсеминара

Новости
Информация
Преподаватели и сотрудники
Студенты и аспиранты
Научно-исследовательский семинар
Просеминар
Спецкурсы
Проекты
Ссылки
Поиск

ВЕРИФИКАЦИЯ ТЕЛЕКОММУНИКАЦИОННЫХ ПРОТОКОЛОВ



Заинтересовались?
Напишите нам:
Пакулин Николай
npak@ispras.ru

Сейчас нам интересны такие исследования:

  1. Верификация протоколов (функциональные свойства, performance);

  2. Верификация реализаций протоколов;

  3. Interoperability testing (проверка того, что одна реализация протокола корректно работает с другой).

Присоединяйтесь!

  

© Кафедра системного программирования ВМК МГУ.

Обновлено: 11.6.2009