Журнал
Научно-технический вестник информационных технологий, механики и оптики
УДК:681.142.2
Номер:4 (74)
Рассматриваются вычислительные процессы, описываемые множеством параллельных структур, получаемых предложенным методом структурирования, для верификации программ в САПР.