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

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

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

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

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

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

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

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