scientific article; zbMATH DE number 4201706

zbMATH Open0727.68132MaRDI QIDQ3350853FDOQ3350853

Authors: Z. M. Benenson, L. I. Lipkin, A. N. Smirnov 

Publication date: 1988

Title of this publication is not available (Why is that?)

Recommendations

• A MATHEMATICAL THEORY OF DESIGN Representation of Design Artifacts (Part I)
• scientific article; zbMATH DE number 53900
• Distributed computer-aided systems for the design of complex engineering systems: Peculiarities of the system software
• Computer-aided design and programming
• Towards automated evolutionary design of combinational circuits

zbMATH Keywords

automatic test generationcomputer-aided design systemcorrectness of a design

Mathematics Subject Classification ID

Computer science aspects of computer-aided design (68U07) Mathematical problems of computer architecture (68M07)

Cited In (1)

• An intelligent system for the evolutionary synthesis of compound objects

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3350853)