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

Поиск по ключевому слову "язык логического программирования ПРОЛОГ"


Формальный логический анализ корректности спецификаций сетевых 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

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