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

Анализ методов формальной верификации и тестирования на различных этапах разработки цифровых систем

Телекоммуникационные системы и компьютерные сети
Федотов А.А.
  • Год: 2008
  • Выпуск: 2
  • 0
  • 3895
  • Страницы: 21-26

Тестирование цифровых систем, заданных высокоуровневыми спецификациями

Аппаратные и программные средства систем управления
Березкин А.В. Федотов А.А. Филиппов А.С.
  • Год: 2011
  • Выпуск: 6
  • 1
  • 7048
  • Страницы: 62-70

Информационное моделирование для сохранения культурного наследия: портик здания Нового Эрмитажа и скульптуры атлантов. Часть 1: Базовые подходы и результаты апробации

Интеллектуальные системы и технологии
Федотов А.А. Праздникова Т.В. Баденко В.Л. Ядыкин В.К.
  • Год: 2020
  • Том: 13
  • Выпуск: 3
  • 27
  • 6348
  • Страницы: 7-16

Информационное моделирование для сохранения культурного наследия: портик здания Нового Эрмитажа и скульптуры атлантов. Часть 2. Методы и алгоритмы

Интеллектуальные системы и технологии
Федотов А.А. Баденко В.Л. Праздникова Т.В. Ядыкин В.К.
  • Год: 2020
  • Том: 13
  • Выпуск: 4
  • 32
  • 5744
  • Страницы: 7-20