Journal
Scientific and technical journal of information technologies, mechanics and optics
UDK681.142.2
Issue:4 (74)
The report deals with computing processes defined by a set of parallel structures, generated by suggested structuring method for software verification in CAD.