Информатика, телекоммуникации и управление
Информатика, телекоммуникации и управление Cанкт-Петербургский политехнический университет Петра Великого
Издается с 2008
ISSN 2687-0517
ru Русский
Версия для слабовидящих
Автор Ахин Марат Халимович
Подать статью
График выхода изданий
  • №3 Сентябрь 2025
  • №4 Декабрь 2025
Последние выпуски
Ахин Марат Халимович
  • Место работы
    Санкт-Петербургский политехнический университет Петра Великого
  • ул. Политехническая д. 29, Санкт-Петербург, 195251

Автоматическое обнаружение дефектов программных систем на основе метода проверки модели

Вычислительные машины и программное обеспечение
Ицыксон В.М. Захаров А.В. Ахин М.Х. Мяснов А.В.
  • Год: 2008
  • Выпуск: 5
  • 0
  • 7216
  • Страницы: 127-133