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

Девятков В. В., Алфимцев А. Н., Таранян А. Р.
   Селективно-ковариационный метод локализации, классификации и отслеживания людей в видеопотоках от множества видеокамер / Девятков В. В., Алфимцев А. Н., Таранян А. Р. - DOI 10.18698/0236-3933-2016-6-54-70 // Вестник МГТУ им. Н. Э. Баумана. Сер. Приборостроение. - 2016. - № 6. - С. 54-70.

Девятков В. В.
   Верификация свойств интеллектуальных интерфейсов в логике тайлов / Девятков В. В. - DOI 10.18698/0236-3933-2016-3-65-87 // Вестник МГТУ им. Н. Э. Баумана. Сер. Приборостроение. - 2016. - № 3. - С. 65-87.

Девятков В. В., Кадырбаева А. Р.
   Верификация знаний, полученных при изучении моделей бизнес-процессов / Девятков В. В., Кадырбаева А. Р. - 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.