Расширенный поиск

Девятков В. В., Кадырбаева А. Р.
   Верификация знаний, полученных при изучении моделей бизнес-процессов / Девятков В. В., Кадырбаева А. Р. - DOI 10.18698/0236-3933-2020-4-99-113 // Вестник МГТУ им. Н. Э. Баумана. Сер. Приборостроение. - 2020. - № 4. - С. 99-113.

Девятков В. В., Лычков И. И.
   Моделирование и анализ ситуаций в виртуальной среде движущихся объектов / Девятков В. В., Лычков И. И. // Вестник МГТУ им. Н. Э. Баумана. Сер. Приборостроение. - 2013. - № 3. - С. 26-42.

Девятков В. В., Лычков И. И., Наунг Мьё Тхет.
   Прототипирование верификации поведения интеллектуальных агентов в языке логического программирования ПРОЛОГ : учебное пособие / Девятков В. В., Лычков И. И., Наунг Мьё Тхет ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2021. - 54 с. : рис. - Библиогр.: с.53-54. - ISBN 978-5-7038-5590-4.

Девятков В. В., Лычков И. И.
   Распознавание ситуаций на множестве движущихся объектов с использованием нечетких конечных автоматов и динамического программирования / Девятков В. В., Лычков И. И. - DOI 10.18698/0236-3933-2017-4-64-78 // Вестник МГТУ им. Н. Э. Баумана. Сер. Приборостроение. - 2017. - № 4. - С. 64-78.

Девятков В. В., Мьё Т. Н.
   Формальный логический анализ корректности спецификаций сетевых SIP-протоколов / Девятков В. В., Мьё Т. Н. - DOI 10.18698/2308-6033-2013-11-999 // Инженерный журнал: наука и инновации. - 2013. - № 11. - П.н. 55.

Девятков В. В., Мье Тхет Наунг.
   Мультиагентный анализ правильности спецификаций протоколов инициирования сеансов / Девятков В. В., Мье Тхет Наунг. - DOI 10.18698/0236-3933-2015-2-107-116 // Вестник МГТУ им. Н. Э. Баумана. Сер. Приборостроение. - 2015. - № 2. - С. 107-116.

Девятков В. В., Мьо Тан Тун.
   Автоматизация проверки некорректности конфигурирования сетевых экранов / Девятков В. В., Мьо Тан Тун. - DOI 10.18698/0236-3933-2015-1-100-110 // Вестник МГТУ им. Н. Э. Баумана. Сер. Приборостроение. - 2015. - № 1. - С. 100-110.

Девятков В. В., Мьо Тан Тун.
   Логический анализ корректности конфигурирования межсетевых экранов / Девятков В. В., Мьо Тан Тун. - DOI 10.18698/2308-6033-2013-11-988 // Инженерный журнал: наука и инновации. - 2013. - № 11. - П.н. 37.

Девятков В. В., Ошкало Д. В.
   Принципы полной и корректной трансформации синхронизируемых моделей / Девятков В. В., Ошкало Д. В. - DOI 10.18698/0236-3933-2015-3-79-91 // Вестник МГТУ им. Н. Э. Баумана. Сер. Приборостроение. - 2015. - № 3. - С. 79-91.

Девятков В. В., Ошкало Д. В.
   Разработка процессов синхронизации моделей и принципов проверки их корректности / Девятков В. В., Ошкало Д. В. - DOI 10.18698/2308-6033-2013-11-1052 // Инженерный журнал: наука и инновации. - 2013. - № 11. - П.н. 19.