Menu
Publications
Editor-in-Chief

Nikiforov
Vladimir O.
D.Sc., Prof.
Partners
Учебно-исследовательская САПР верификации и тестирования вычислительных процессов программ
Read the full article

Abstract
В работе формулируются требования и предлагаются методы решения задачи проектирования и разработки учебно-исследовательской САПР верификации и тестирования программ для формализации учеб-
ного процесса и дальнейшей разработки промышленных САПР верификации и тестирования программ практической сложности.