Инженерный журнал: наука и инновацииЭЛЕКТРОННОЕ НАУЧНО-ТЕХНИЧЕСКОЕ ИЗДАНИЕ
свидетельство о регистрации СМИ Эл № ФС77-53688 от 17 апреля 2013 г. ISSN 2308-6033. DOI 10.18698/2308-6033
  • Русский
  • Английский

Все статьи автора "Девятков В.В."


Разработка процессов синхронизации моделей и принципов проверки их корректности

Опубликовано: 19.11.2013

Авторы: Девятков В.В., Ошкало Д.В.

Опубликовано в выпуске: #11(23)/2013

DOI: 10.18698/2308-6033-2013-11-1052

Раздел: Информационные технологии

Формальный логический анализ корректности спецификаций сетевых SIP-протоколов

Опубликовано: 18.11.2013

Авторы: Девятков В.В., Мьё Т.Н.

Опубликовано в выпуске: #11(23)/2013

DOI: 10.18698/2308-6033-2013-11-999

Раздел: Информационные технологии | Рубрика: Компьютерные системы и сети

Логический анализ корректности конфигурирования межсетевых экранов

Опубликовано: 18.11.2013

Авторы: Девятков В.В., Мьо Тан Тун 

Опубликовано в выпуске: #11(23)/2013

DOI: 10.18698/2308-6033-2013-11-988

Раздел: Информационные технологии | Рубрика: Информационная безопасность

Недетерминированное проектирование интеллектуальных мультимодальных интерфейсов

Опубликовано: 03.11.2012

Авторы: Алфимцев А.Н., Девятков В.В.

Опубликовано в выпуске: #3(3)/2012

DOI: 10.18698/2308-6033-2012-3-118

Раздел: Информационные технологии

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

Опубликовано: 02.11.2012

Авторы: Алфимцев А.Н., Девятков В.В.

Опубликовано в выпуске: #1(1)/2012

DOI: 10.18698/2308-6033-2012-1-82

Раздел: Информационные технологии