График выхода изданий
-
№3 Сентябрь 2025
-
№4 Декабрь 2025
Последние выпуски
- 2025, Том 18 Выпуск 2 Полный текст
- 2025, Том 18 Выпуск 1 Полный текст
- 2024, Том 17 Выпуск 4 Полный текст
- 2024, Том 17 Выпуск 3 Полный текст
Федотов Александр Александрович
Место работы
Санкт-Петербургский политехнический университет Петра Великого
Санкт-Петербург, Российская Федерация
Анализ методов формальной верификации и тестирования на различных этапах разработки цифровых систем
- Год: 2008
- Выпуск: 2
- 0
- 3952
- Страницы: 21-26
Тестирование цифровых систем, заданных высокоуровневыми спецификациями
- Год: 2011
- Выпуск: 6
- 1
- 7167
- Страницы: 62-70
Информационное моделирование для сохранения культурного наследия: портик здания Нового Эрмитажа и скульптуры атлантов. Часть 1: Базовые подходы и результаты апробации
- Год: 2020
- Том: 13
- Выпуск: 3
- 27
- 6528
- Страницы: 7-16
Информационное моделирование для сохранения культурного наследия: портик здания Нового Эрмитажа и скульптуры атлантов. Часть 2. Методы и алгоритмы
- Год: 2020
- Том: 13
- Выпуск: 4
- 32
- 5934
- Страницы: 7-20