scientific article; zbMATH DE number 4201706

MaRDI QIDQ3350853zbMATH OpenFDO

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

Publication date 1988

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)

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

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)