График выхода изданий
- №4 Декабрь 2026
- №1 Март 2027
- №2 Июнь 2027
Последние выпуски
Федотов Александр Александрович
Место работы
Санкт-Петербургский политехнический университет Петра Великого
Санкт-Петербург, Российская Федерация
Анализ методов формальной верификации и тестирования на различных этапах разработки цифровых систем
- Год: 2008
- Выпуск: 2
- 2
- 4803
- Страницы: 21-26
Тестирование цифровых систем, заданных высокоуровневыми спецификациями
- Год: 2011
- Выпуск: 6
- 3
- 8933
- Страницы: 62-70
Информационное моделирование для сохранения культурного наследия: портик здания Нового Эрмитажа и скульптуры атлантов. Часть 2. Методы и алгоритмы
- Год: 2020
- Том: 13
- Выпуск: 4
- 34
- 8236
- Страницы: 7-20