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