График выхода журналов
  • №2 Июнь 2019
    Статьи принимаются до: 10 Мая 2019
  • №3 Сентябрь 2019
    Статьи принимаются до: 10 Июля 2019
  • №4 Декабрь 2019
    Статьи принимаются до: 10 Ноября 2019
Мордвинов Дмитрий Александрович

Обзор применения формальных методов в робототехнике

Конференция «Инструменты и методы анализа программ 2015»
  • Год: 2016
  • Выпуск: 1
  • 433
  • 1417
  • Страницы: 84-107