Поиск по ключевому слову "язык логического программирования PROLOG"
Автоматизация проверки некорректности конфигурирования сетевых экранов
Авторы: Девятков В.В., Мьо Тан Тун | Опубликовано: 08.02.2015 |
Опубликовано в выпуске: #1(100)/2015 | |
DOI: 10.18698/0236-3933-2015-1-100-110 | |
Раздел: Информатика, вычислительная техника и управление | Рубрика: Вычислительные системы и их элементы | |
Ключевые слова: межсетевой экран, процесс, модальная логика, язык логического программирования PROLOG |