For example,Бобцов

GRAPH-ANALYTICAL MODELS FOR CAD COMPUTING PROCESSES

Annotation

The article deals with graph-analytical models (GAM) for verification of computing processes in CAD. An example of complex cubic covering generation based on GAM for acyclic computing process is given; a task for test sets synthesis based on cubic coverings has been formulated.

Keywords

Articles in current issue