График выхода изданий
- №2 Июнь 2026Статьи принимаются до: 29 Мая 2026
- №3 Сентябрь 2026Статьи принимаются до: 31 Августа 2026
- №4 Декабрь 2026
Последние выпуски
Прокопенко Артем Сергеевич
1414700, Московская обл., Долгопрудный, Институтский пер., д. 9.
Аксиоматический метод верификации на основе декомпозиции состояний в методе RGSEP
- Год: 2010
- Выпуск: 6
- 0
- 8752
- Страницы: 127-135