Вы здесь
Пакулин Н. В.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Верификация функций безопасности протокола IPSEC V2 | 2011 | Никешин А. В., Пакулин Н. В., Шнитман В. З. | Программирование | 05.04.2011 | |||
| СТ | Применение технологии UniTESK для функционального тестирования инфраструктурного ПО Грид | 2009 | Пакулин Н. В., Смолов С. А. | Труды ИСП РАН | 12.05.2010 | |||
| СТ | Разработка формальных моделей и тестирование соответствия для систем с асинхронными интерфейсами и телекоммуникационных протоколов | 2007 | Пакулин Н. В., Хорошилов А. В. | Программирование | 27.02.2008 | |||
| А | Формализация стандартов и тестовых наборов протоколов Интернета | 2006 | Пакулин Н. В. | 01.09.2006 | ||||
| СТ | Подход UniTesK к разработке тестов: достижения и перспективы | 2004 | Баранцев А. В., Бурдонов И. Б., Демаков А. В., Зеленов С. В., Косачев А. С., Кулямин В. В., Омельченко В. А., Пакулин Н. В., Петренко А. К., Хорошилов А. В. | Институт системного программирования РАН | Труды института системного программирования | 01.08.2006 | ||
| СТ | Применение UniTesK к тестированию встроенных систем | 2004 | Пакулин Н. В. | Институт системного программирования РАН | Труды института системного программирования | 01.08.2006 |